我们先简述一下求不定积分为什么要比求导数困难得多? 我们知道,如果已知一个函数可导,则我们利用求导公式及导数 的运算法则,总可以求出它的导数。但是求函数的不定积分则不然, 它的运算关键是求出被积函数的一个原函数,而原函数的定义不象导 数定义那样具有构造性,它只告诉我们其导数恰是某个已知函数∫,并 没有告诉我们怎样由/求出它的原函数的具体形式和途径

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

1.二重积分的变量替换公式 2.二重积分的一般变量变换 3.二重积分的极坐标变换

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

一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理

一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义

3.1差商及其性质 一.差商定义 拉格朗日插值公式可看作直 线方程两点式的推广,若从直线 方程点斜式

近多项式 由韦尔斯特拉斯定理知存在 最佳一致逼近多项式(伯恩斯坦多项式) 一、截断切比雪夫级数 利用切比雪夫多项式良好的 逼近性质求近似最佳一致逼近多 项式 如果f(x)∈CL-11,按{(x) 展成广义富利叶级数,由正交多项 式展开公式

一、 Newton插值多项式的构造 二、差商的定义及性质 三、差分的定义及性质 四、等距节点 Newton插值公式

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