当前位置：首页 > 数理化

数理逻辑十二讲

数理逻辑十二讲

数理逻辑十二讲PDF电子书下载

电子书积分：9 积分如何计算积分？
作者：宋方敏，吴骏编著
出版社：北京：机械工业出版社
出版年份：2018
ISBN：9787111581222
页数：156 页

图书介绍：本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本课程为计算机科学的基础，对培养学生的素养以及提高解决问题的能力有重要的意义。

查看图书目录点击购买PDF全本电子书

上一篇：气液两相流动与沸腾传热下一篇：大学物理学下第4版

《数理逻辑十二讲》目录

标签：数理逻辑编著逻辑

第一讲命题逻辑 1

第二讲 Boole代数 19

第三讲一阶逻辑的语言 29

第四讲一阶逻辑的自然推理系统 50

第五讲集合论的公理系统 61

第六讲完全性定理 66

第七讲 Herbrand定理 76

第八讲命题逻辑的永真推理系统 86

第九讲一阶逻辑的永真推理系统 100

第十讲 Gentzen的Hauptsatz 106

第十一讲紧性定理 121

第十二讲模态逻辑概述 135

参考文献 156

相关图书

作者其它书籍

出版社其它书籍

本类热门