1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图

(一) 微分形式问题的提出 我们已经学习过四个微积分的重要公式:

一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值

(1) 曲面的定向、面微分向量 (一) 曲面的定向 光滑曲面: 曲面

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

5-4 变量置换法 凑微分法是通过局部的积分, 即 u (x)dx = du(x) , 将欲求的积分  f (x)dx 向己有的积分公式

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

素数的个数 素数表的构造 素数的判别 最大的素数 求解素数的公式 素数的分布

重点:熟记基本初等函数的导函数和求导法则 导数的四则运算:推导导数四则运算公式.(只证“×”和“÷