网站首页 软件下载 游戏下载 翻译软件 电子书下载 电影下载 电视剧下载 教程攻略
本书叙述了与计算机科学紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。本书大部分章节附有习题。
本书读者对象:高校计算机专业师生,科研人员。
绪论
第一章 预备知识
第二章 经典命题逻辑
第三章 经典一阶逻辑
第四章 可靠性和完备性
第五章 紧致性定理、Lowenheim-Skolem定理、Herbrand定理
第六章 公理推演系统
第七章 构造性逻辑
第八章 模态命题逻辑
第九章 模态一阶逻辑
附录 自然推演中形式证明的简明形式
参考文献
符号表
汉英名词对照表
本书的内容是自足的。预备知识包括集以及归纳定义和归纳证明的基本概念,使用标准的陈述和记号。熟悉这些内容的读者可以略去,或者当需要时参考。
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。