2024年4月10日发(作者：初二期末数学试卷难点题)

同 等 学 力 申 硕

离散数学与组合数学

讲义

主讲： 单志勇 博士

目录

引言 ........................................................................................................................................................................... 1

第一章 ....................................................................................................................................................................... 9

1.1 命题及其符号化 ................................................................................................................................................ 9

1.2 合式公式和真值赋值 ...................................................................................................................................... 14

第二章 ..................................................................................................................................................................... 20

2.1等值关系及联结词全功能集 ........................................................................................................................... 20

2.3 范式 .................................................................................................................................................................. 25

第三章 命题逻辑自然推理 ................................................................................................................................... 30

第四章 ..................................................................................................................................................................... 37

4.1~2谓词和量词、一阶语言 ............................................................................................................................... 37

4.3一阶等值演算 ................................................................................................................................................... 43

4.4一阶逻辑形式推理 ........................................................................................................................................... 48

第五章集合 ............................................................................................................................................................. 55

5.1~5.3集合的概念及其表示、运算、定律 ........................................................................................................ 55

5.4 有限集计数问题 .............................................................................................................................................. 62

第六章关系 ............................................................................................................................................................. 68

6.1~3二元关系及其表示、性质、运算 ............................................................................................................... 68

6.4特殊关系及性质 ............................................................................................................................................... 75

第七章函数 ............................................................................................................................................................. 81

7.1~7.3函数的基本概念、合成、反函数 ............................................................................................................ 81

7.4～5特殊函数及集合的基数 ............................................................................................................................. 85


更多推荐

表示,推理,量词,运算,关系,集合,等值