◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法

离散数学（又称计算机数学）是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。离散数学以是研究：离散量的结构和相互之间的关系为主要目标，其研究对象一般为：有限或可数个元素（例如：自然数、整数、真假值、有限个结点等），而离散性也是计算机科学的显著特点

第一章 误差简介（2学时） 第二章 插值（８学时） 第三章 最佳平方逼近（4学时） 第四章 数值微分和数值积分（8学时）

实际中，存在大量的解线性方程组的问题。很多数值方 法到最后也会涉及到线性方程组的求解问题：如样条插值的 M和m关系式，曲线拟合的法方程，方程组的Newton迭代等 问题

概念 实际中,fx)多样,复杂,通常只能观测到一些离散数据; 或者fx)过于复杂而难以运算。这时我们要用近似函数g(x来 逼近fx)

实际中，很多问题的数学模型都是微分方程。我们可以研究它们的一些 性质。但是，只有极少数特殊的方程有解析解。对于绝大部分的微分方程是 没有解析解的。 常微分方程作为微分方程的基本类型之一，在自然界与工程界有很广泛 的应用。很多问题的数学表述都可以归结为常微分方程的定解问题

很多工程计算中，会遇到特征值和特征向量的计算，如：机械、结构或电磁振 动中的固有值问题；物理学中的各种临界值等。这些特征值的计算往往意义重大

直接法得到的解是理论上准确的,但是我们可以看得出,它们的计算量都是n3 数量级,存储量为nη2量级,这在n比较小的时候还比较合适(n<400),但是对于现 在的很多实际问题,往往要我们求解很大的n的矩阵,而且这些矩阵往往是系数矩阵 就是这些矩阵含有大量的0元素

一、计算方法的作用 二、计算方法的内容 三、误差 四、一些例子