数理逻辑引论
数理逻辑引论封面图

数理逻辑引论

李涛, 主编

出版社:哈尔滨工业大学出版社

年代:2011

定价:16.0

书籍简介:

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

书籍规格:

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

书籍信息归属:

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