西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑引论/李涛, 张岩, 刘峰主编

版本说明:

第2版

出版发行项:

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

ISBN及定价:

978-7-5603-6146-8/CNY19.80

载体形态项:

139页;21cm

个人责任者:

李涛 主编

个人责任者:

张岩 主编

个人责任者:

刘峰 主编

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

一般附注:

高等学校“十二五”规划教材

书目附注:

有书目

提要文摘附注:

本书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理等内容。

使用对象附注:

本书可用作高等院校计算机专业离散数学的教材或教学参考书，也可供从事计算机科学、人工智能方面的技术人员参考。

豆瓣简介：