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

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

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

一、代数系统的基本概念和基本性质 二、群论 三、 同态与同构 四、环与域

一、集合的概念及表示 集合：集合是数学中最基本的概念之一，不 能以更简单的概念来定义(define)，只能给出 它的描述(description)。一些具有共同性质 的对象的整体就称为一个集合，这个整体的 每个对象称为该集合的一个元素(member或 element)

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

第一章 初等数学 第二章 解析几何 第三章 线性代数 第四章 微分学 第五章 积分学 第六章 向量与场论初步 第七章 级数 第八章 复变函数 第九章 积分变换 第十章 特殊函数 第十一章 常微分方程 第十二章 偏微分方程 第十三章 积分方程 第十四章 概率论 第十五章 数理统计方法 第十六章 随机过程 第十七章 统计计算方法 第十八章 误分析插值法曲线拟合 第十九章 数值微分·数值积分·积分方程数值解 第二十章 线性方程组的解法·矩阵求逆 第二十一章 方程解法、非线性方程组解法 第二十二章 矩障特征值的计算 第二十三章 常微分方程数值解法 第二十四章 偏微分方程的有限差分方法 第二十五章 偏微分方程的有限元方法及其他方法 第二十六章 离散数学 第二十七章 模糊数学 第二十八章 组合数学 第二十九章 现代控制论 第三十章 信息论 第三十一章 系统工程

1.集合与元素 集合是个最基本的概念 集合:是由确定的对象(客体)构成的集体 用大写的英文字母表示。 这里所谓“确定”是指:论域内任何客体 要么属于这个集合,要么不属于这个集合, 是唯一确定的。 元素:集合中的对象,称之为元素 ∈:表示元素与集合的属于关系

一.填空(共计26分) 1.(每空1分)令P:天气好Q:我有时间.R:我在家.S:我上街 将下面各个命题的符号表达式填在各个命题后面的括号内 (1).或者我上街,或者我在家.( ) (2)仅当天气好,我才上街.( )

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论