研究推理的一门学科 数理逻辑：用数学方法研究推理的一门数学学科-------- 一套符号体系 + 一组规则

一、矩阵 二、直接解法 三、迭代法 四、符号解法 五、稀疏矩阵技术 六、特征值与特征向量

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

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:

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

1-1集合,符号 §1-2映射 1-3函数

本节讨论一般的常数项级数,即各项符号不尽相同 的变号级数(任意项级数).如级数

本节讨论一般的常数项级数,即各项符号不尽相同 的变号级数(任意项级数).如级数

2.符号函数(显函数、隐函数和参数方程)画图 (1) ezplot ezplot(f(x)',[a,b]) 表示在a