书籍简介:

数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理；一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。本书可用作高等院校计算机专业的离散数学的教科书或教学参考书，也可供从事计算机科学、人工智能方面的科技人员参考。

书籍规格:

书籍详细信息
书名	数理逻辑引论站内查询相似图书
	9787560334110 如需购买下载《数理逻辑引论》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	哈尔滨	出版单位	哈尔滨工业大学出版社
版次	1版	印次	1
定价(元)	16.0	语种	简体中文
尺寸	21 × 14	装帧	平装
页数	135	印数

全网搜索试读资源

书籍信息归属:

数理逻辑引论是哈尔滨工业大学出版社于2011.11出版的中图分类号为 O141 的主题关于数理逻辑－高等学校－教材的书籍。