2012年全国现代数学与力学学术会议：基于几何形态为曲面的连续介质的有限变形理论研究固定曲面上流动及曲面自身运动（史倩、陈瑜、谢锡麟）

《现代连续介质力学理论及实践》参考资料：郭仲衡《积极开展理性力学的研究》（北京大学数学力学系）

《现代连续介质力学理论及实践》参考资料：郭仲衡《理性力学简介》（北京大学数学力学系）

复旦大学：《线性代数 Linear Algebra》课程教学资源（课件讲稿）第三章 线性方程组 3.2 线性方程组的一般理论

模型背景 问题提出与方程建立 数值模拟及观察 模型理论分析 模型改进 改进模型的数值模拟 改进模型的分析

在许多工程技术领域(如电磁场理论、量子力学、固体物理、材 料物理、流体力学等)经常遇到复变量的函数.复变函数理论研究复 变量之间的对应关系,它是实变函数理论在复数域中的推广,因此两 者之间有许多相近之处,这有助于我们学习比较,但在学习中更要注 意它们之间的不同之处.本章主要讨论复变函数的一些基本概念

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

–推理的形式结构 –自然推理系统P

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系