 Matlab 介绍  Matlab 数值计算  Matlab 符号运算  Matlab 绘图  Matlab 数据类型  Matlab 程序设计  Matlab 文件操作

《高等数学》课程教学资源（学习资料）常用数学符号

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论

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

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

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

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

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

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

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