在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

本章讨论集合论中较为困难的问题—集 合的基数问题；但只限于对基数作一简 单介绍；如学时较少可不讲本章或对本 章作恰当的删减. 本章主要概念为:集合的等势、有限集与 无限集、可数集与不可数集及较为常见 的集合的基数

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

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

9.1图的基本概念 9.2路和回路 93连通图 9.4图的矩阵表示 9.5欧拉图和汉密尔顿图 9.6树 9.7二部图及匹配 9.8平面图

引言 Chapter 2 插值方法表示两个变量x,y内在关系一般由函数式y=f(x)表达 但在实际问题中,有两种情况: 、 1由实验观测而得的一组离散数据(函数表),显然这种函 数关系式y=f(x)存在且连续,但未知。 2函数解析表达式已知,但计算复杂,不便使用。通常也函数表

§ 8.1 引 言 § 8.2 z 变换及其收敛区 § 8.3 （单边）z 变换的主要性质

8.1 半群 8.2 群的定义与性质 8.3 子群 8.4 陪集与拉格朗日定理 8.5 正规子群与商群 8.6 特殊群：循环群与置换群

§ 8.4 （单边）反 Z 变换 § 8.5 z 变换与拉氏变换的关系 § 8.6 z 变换分析法

连续型随机变量的分布 一随机变量的分布函数是描述任何类型的 随机变量的变化规律的最一般的形式,但 由于它不够直观,往往不常用。 比如,对离散型随机变量,用概率函数来 描述即简单又直观。 对于连续型随机变量也希望有一种比分布 函数更直观的描述方式。 这就是今天要讲的“概率密度函数