【数理逻辑与集合论】石纯一.pdf
数理逻辑与集合论(第二版)石纯一王家编著
石纯一 2000于清华园 再版前言 随着计算技术的发展,数理逻辑与集合论做为计算机科学的一种数学工具,它的作用显 得更加重要了.如果仅限于学会一种,掌握一些编程技巧,不一定要学习基础 性知识,甚至有高中水平就可以了,但对计算机系的大学生来说,应有更高的要求,仅满足于 写个简单程序就不够了,仍拿一种,为什么会提出来？它能解决什么问题？好在哪里？存在什么问题？它的语法语义又怎样？要懂得一些深层的基础性知识才能对这 《数理逻辑与集合论》一书的第1版发行至今已有十多年了,在教学过程中已感到数理 逻辑部分内容浅了些,需增加深层知识,这是本书再版的原因,为此我们在原书的基
8V 录 主浩算法 自 第1章命题逻辑的基本概念 1命题.命题联结词及真值表 1合式公式 1重言式 1命题形式化 第2章命题逻辑的等值和推理演算 2等值定理 2等值公式 2命题公式与真值表的关系 2联结词的完备集 2对偶式 2范式 2推理形式 2基本的推理公式 2推理演算归结推理法 习题2.第3章命题逻辑的公理化 3公理系统的结构 3命题逻辑的公理系统 3公理系统的完备性和演绎定理 3.