| 第一篇 数理逻辑 第一章 命题逻辑 §1．1 命题和联结词 §1．2 公式和真值赋值 §1．3 等值演算 §1．4 对偶定理 §1．5 联结词的完全集 §1．6 范式 §1．7 逻辑推论 习题 第二章 谓词逻辑 §2．1 谓词和量词 §2．2 项和公式 §2．3 解释和赋值 §2．4 永真式 §2．5 等值演算 §2．6 逻辑推论 习题二 第三章 公理系统 §3．1 命题逻辑的公理系统 §3．2 谓词逻辑的公理系统 习题三 第四章 归结法原理 §4．1 命题逻辑的归结法 §4．2 前束范式与斯科伦范式 §4．3 谓词逻辑的归结法 习题四 参考文献 第二篇 集合论 第五章 集合的基本概念及其运算 §5．1 集合与元素 §5．2 集合间的相等和包含关系 §5．3 幂集 §5．4 集合的运算 §5．5 有穷集的计数原理 §5．6 集合的归纳定义法 §5．7 有序偶和笛卡儿乘积 习题五 第六章 关系 §6．1 关系及其性质 §6．2 关系的运算 §6．3 次序关系 §6．4 等价关系、划分及其他 习题六 第七章 函数 §7．1 基... |
内容加载中，请稍后...
商品评论（0条）