 3.1 基本解  3.2 初值问题  3.3 平均值等式  3.4 最大值原理与定解问题的适定性  3.5 热传导方程解的可微性与微商的估计  3.6 能量法

 2.1.1 定义  2.1.2 弱解的存在性  2.1.3 弱解的正则性

§5.1 线性规划的数学模型 §5.2 线性规划的图解法 §5.3 线性规划标准型和规范型 §5.4 单纯形法步骤 §5.5 单纯形表 §5.6 单纯形的经济意义 §5.7 单纯形法理论分析 §5.8 两阶段法与大M法 §5.9 LP规划问题解的讨论

 3.1.1 定义  3.1.2 弱解的存在性  3.1.3 弱解的正则性

1.1命题及联结词 1.2命题公式与翻译 1.3真值表和等价公式 1.4重言式 1.5范式 1.6全功能联结词集 1.7对偶式与蕴含式 1.8命题逻辑的推理理论

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

群体遗传学(population genetics)研究群体的遗 传结构及其变化规律的遗传学分支学科。 以群体为基本研究单位； 以基因频率和基因型频率描述群体遗传结构； 采用数学和统计方法进行研究；

§5-1对流换热概说 §5-2 对流换热问题的数学描述 §5-3 对流换热边界层微分方程组

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二