1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

(二)米尔尼(Miline)公式 取r=3,并令a=a1=a2=B1=0,由方程组可 解出a3=1,Bo=3,=48

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

1. 微分中值定理,泰勒公式。 2. 利用单调性讨论导出不等式。 3. 利用讨论极值的方法导出不等式

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

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

带 PeanoTaylor余项的公式 导数,则存在x的一个邻域,对于该邻域中的任一点x,成立 定理5.3.1(带 PeanoTaylor余项的公式)设f(x)在x处有 阶

有向面积与向量的外积，前面导出二重积分变量代换公式

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

数值积分 对于求定积分，虽然有了 Newton-Leibniz 公式，但在整个可积函 数类中，能够用初等函数表示不定积分的只占很小一部分，也就是说， 对绝大部分在理论上可积的函数，并不能用 Newton-Leibniz 公式求得 其定积分之值。 另一方面，在实际问题中，许多函数只是通过测量、试验等方法 给出了在若干个离散点上的函数值，如果问题的最后解决有赖于求出 这个函数在某个区间上的积分值，那么 Newton-Leibniz 公式是难有用 武之地的