书目详细信息
： 数理逻辑实验教程
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-307-07991-5:CNY29.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 420000 |
| 题名责任者项： | 数理逻辑实验教程/.李娜编著 |
| 出版发行项： | 武汉:,武汉大学出版社:,2010 |
| 载体形态项： | 271页:;+图:;+24cm |
| 一般附注： | 高等院校哲学专业核心课教材 |
| 提要文摘： | 本书作为逻辑学专业的核心教材之一,全面而系统地介绍了数理逻辑的基本概念、理论知识。全书共分三个部分,第一部分从实验的形式介绍了三种在线逻辑软件的使用,第二部分介绍了复合命题的基础知识,第三部分介绍了一阶逻辑,尤其是量词逻辑。 |
| 题名主题： | 数理逻辑 高等学校 教材 |
| 中图分类： | O141 |
| 个人名称等同： | 李娜 编著 |
| 记录来源： | CN ZCMK 20140610 |