同类推荐
-
-
全国大学生数学建模竞赛试题研究:第4册
-
¥78.00
-
-
数学模型与实验
-
¥42.10
-
-
数学建模应用及探究
-
¥69.80
-
-
数学建模应用及探究
-
¥69.80
-
-
数学建模应用及探究
-
¥69.80
-
-
无处不在的算法:双色版
-
¥89.00
-
-
无处不在的算法:双色版
-
¥89.00
-
-
无处不在的算法:双色版
-
¥89.00
-
-
数学证明 : 通往高等数学的阶梯 : 第4版 : 影印…
-
¥100.00
-
-
集合论与图论
-
¥59.00
|
|
图书信息
|
|
|
|
数理逻辑
|
| ISBN： | 9787564645052 |
定价： | ￥26.80 |
| 作者： | 张再跃，张晓如编著 |
出版社： | 中国矿业大学出版社有限责任公司 |
| 出版时间： | 2019年07月 |
开本： | 26cm |
| 页数： | 174页 |
中图法： | O141 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
50
|
|
2025-07-09
|
图书简介 | | 本书由8个部分的内容组成，包括绪论和7个章节的内容。绪论部分介绍元数学的形成与发展，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识；第2章介绍可计算性理论的基本知识；第3章至第5章是关于经典数理逻辑的内容；第6章介绍计算思维的概念，简要回顾计算思维概念的形成与发展，阐述计算思维的特点；第7章介绍形式系统构成特性，分析逻辑系统与应用系统之间的联系与区别。最终给出“哥德尔不完备性定理”的证明。 |
|