作者：段禅伦
页数：332
出版社：高等教育出版社
出版日期：2011
ISBN：9787040319019
高清校对版pdf（带目录）
夸克网盘：https://pan.quark.cn/s/b98544dab2e7
百度网盘：https://pan.baidu.com/s/10zKJWpNOnVDp1oY4YWCzWA?pwd=k1sm
内容简介
本书依据教育部高等学校计算机科学与技术教学指导委员会编制的《高等学校计算机科学与技术专业规范》和《高等学校计算机科学与技术专业核心课程教学实施方案》编写而成。本书不仅覆盖逻辑演算、集合与关系、数论、组合计数、代数结构、图论等基础理论部分，还包括这些基础理论在粗糙集、模糊集、人工智能、纠错码、加密技术等领域的应用，并涉及数理逻辑形式系统等相关内容。本书体系严谨、选材精练、讲述翔实、语言通俗，注重与计算机科学与技术的实际问题相结合，强调应用能力与计算思维的培养。
本书不仅可作为高等学校计算机及相关专业本科生的离散数学课程教材，也可供相关工程技术人员阅读参考。
目录
第一章 命题逻辑
1.1 命题及其表示
1.2 逻辑联词
1.3 命题形式与真值函数
1.4 真值表与等值公式
1.5 重言式与蕴涵式
1.6 初始逻辑联词
1.7 对偶和对偶定律
1.8 范式
1.9 命题演算推理理论
1.1 0命题演算的形式系统
1.1 1习题
第二章 一阶谓词逻辑
2.1 谓词与个体
2.2 命题函数与量词
1.1 命题及其表示
1.2 逻辑联词
1.3 命题形式与真值函数
1.4 真值表与等值公式
1.5 重言式与蕴涵式
1.6 初始逻辑联词
1.7 对偶和对偶定律
1.8 范式
1.9 命题演算推理理论
1.1 0命题演算的形式系统
1.1 1习题
第二章 一阶谓词逻辑
2.1 谓词与个体
2.2 命题函数与量词
- THE END -
非特殊说明，本博所有文章均为博主原创。
如若转载，请注明出处：https://www.xiazainiu.com/Wd1qk_5_63991.html
