[
-
内容大纲
宋方敏、吴骏编著的《数理逻辑十二讲(面向CS2013计算机专业规划教材)》为数理逻辑的入门教材，主要介绍命题逻辑和一阶逻辑。本书既引入自然推理风格的Gentzen系统，又引入永真推理风格的Hilbert系统，详细证明四个基本定理：完全性定理、紧性定理、Gentzen的Hauptsatz和Herbrand定理。本书最后介绍模态逻辑。
通过本书的学习，学生将掌握数理逻辑的基本概念、基本理论、基本推理，以及公理系统和形式化方法。本书作为计算机科学的基础教材，对培养学生的科学素养以及提高解决问题的能力具有重要的意义。 -
作者介绍
-
目录
前言
第一讲 命题逻辑
第二讲 Boole代数
第三讲 一阶逻辑语言
第四讲 一阶逻辑的自然推理系统
第五讲 集合论的公理系统
第六讲 完全性定理
第七讲 Herbrand定理
第八讲 命题逻辑的永真推理系统
第九讲 一阶逻辑的永真推理系统
第十讲 Gentzen的Hauptsatz
第十一讲 紧性定理
第十二讲 模态逻辑概述
参考文献
同类热销排行榜
- 目送/人生三书
-
21世纪的《背影》 + 感人至深的“生死笔记”+ 龙应台亲手摄影 + 跨三代共读的人生之书！
华人世界率性犀利的一枝笔，龙应台独家...
- 顾城的诗(金版)(精)/蓝星诗库
- 人类群星闪耀时(插图本)/译林名著精选
- 牛津高阶英汉双解词典(附光盘第8版)(精)
- 文化苦旅(新版)
- 摆渡人
- 解忧杂货店(精)
- 骆驼祥子
- 曾国藩(又笨又慢平天下)
- 查令十字街84号(珍藏版)(精)
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔，龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年，恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...