书籍简介:

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

书籍规格:

书籍详细信息
书名	数理逻辑十二讲站内查询相似图书
	9787111581222 如需购买下载《数理逻辑十二讲》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	机械工业出版社
版次	1版	印次	1
定价(元)	35.0	语种	简体中文
尺寸	19 × 26	装帧	平装
页数	244	印数	3000

全网搜索试读资源

书籍信息归属:

数理逻辑十二讲是机械工业出版社于2017.3出版的中图分类号为 O141 的主题关于数理逻辑－高等学校－教材的书籍。