| ISBN/价格： | 978-7-5646-4505-2:CNY26.80 |
|---|
| 作品语种： | chi |
|---|
| 出版国别： | CN 320000 |
|---|
| 题名责任者项： | 数理逻辑/.张再跃，张晓如编著 |
|---|
| 出版发行项： | 徐州:,中国矿业大学出版社有限责任公司:,2019.7 |
|---|
| 载体形态项： | 174页:;+26cm |
|---|
| 一般附注： | 计算机科学与技术研究生教材 |
|---|
| 提要文摘： | 本书由8个部分的内容组成，包括绪论和7个章节的内容。绪论部分，介绍元数学的形成与发展以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义。第1章介绍集合论的基础知识。第2章介绍可计算性理论的基本知识。第3章至第5章是关于经典数理逻辑的内容，包括命题演算和谓词演算两个部分，重点介绍命题演算和谓词演算以及相关形式系统的基本性质。第6章介绍计算思维的概念，简要回顾计算思维概念的形成与发展，阐述计算思维的特点。并从计算角度出发，分析运用计算思维解决计算问题的基本策略思想。第7章介绍形式系统构成特性，分析逻辑系统与应用系统之间的联系与区别。以一阶算术系统为例，介绍逻辑系统扩展至数学应用系统的定义方法，最终给出“哥德尔不完备性定理”的证明。 |
|---|
| 题名主题： | 数理逻辑 研究生 教材 |
|---|
| 中图分类： | O141 |
|---|
| 个人名称等同： | 张再跃 编著 |
|---|
| 个人名称等同： | 张晓如 编著 |
|---|
| 记录来源： | CN 浙江省新华书店集团公司 20191011 |
|---|