|
000
|
01129nam0 2200253 450
|
|
001
|
2042843266
|
|
005
|
20201105115411.26
|
|
010
|
|
@a978-7-5646-4505-2@dCNY26.80
|
|
100
|
|
@a20191106d2019 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b320000
|
|
105
|
|
@aa a 000yy
|
|
200
|
1
|
@a数理逻辑@Ashu li luo ji@f张再跃, 张晓如编著
|
|
210
|
|
@a徐州@c中国矿业大学出版社@d2019.07
|
|
215
|
|
@a174页@c图@d26cm
|
|
320
|
|
@a有书目 (第174页)
|
|
330
|
|
@a本书由8个部分的内容组成, 包括绪论和7个章节的内容。绪论部分介绍元数学的形成与发展, 同时简要说明课程学习的目的和意义 ; 第1章介绍集合论的基础知识 ; 第2章介绍可计算性理论的基本知识 ; 第3章至第5章是关于经典数理逻辑的内容 ; 第6章介绍计算思维的概念, 简要回顾计算思维概念的形成与发展, 阐述计算思维的特点 ; 第7章介绍形式系统构成特性, 分析逻辑系统与应用系统之间的联系与区别。最终给出“哥德尔不完备性定理”的证明。
|
|
333
|
|
@a计算机科学与技术研究生教材
|
|
606
|
0
|
@a数理逻辑@Ashu li luo ji@x研究生@j教材
|
|
690
|
|
@aO141@v5
|
|
701
|
0
|
@a张再跃@Azhang zai yue@4编著
|
|
701
|
0
|
@a张晓如@Azhang xiao ru@4编著
|
|
801
|
0
|
@aCN@b人天书店@c20201024
|
|
905
|
|
@aZUCC@dO141@eZ248
|
|
|
|
|
| |
| 数理逻辑/张再跃, 张晓如编著.-徐州：中国矿业大学出版社，2019.07 |
| 174页：图；26cm |
| 使用对象：计算机科学与技术研究生教材 |
| |
| ISBN 978-7-5646-4505-2：CNY26.80 |
| 本书由8个部分的内容组成, 包括绪论和7个章节的内容。绪论部分介绍元数学的形成与发展, 同时简要说明课程学习的目的和意义 ; 第1章介绍集合论的基础知识 ; 第2章介绍可计算性理论的基本知识 ; 第3章至第5章是关于经典数理逻辑的内容 ; 第6章介绍计算思维的概念, 简要回顾计算思维概念的形成与发展, 阐述计算思维的特点 ; 第7章介绍形式系统构成特性, 分析逻辑系统与应用系统之间的联系与区别。最终给出“哥德尔不完备性定理”的证明。 |
| ● |
正题名：数理逻辑
索取号：O141/Z248
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1478944
|
214789442
|
自科库401/401自科库 40排3列5层/
[索取号:O141/Z248]
|
在馆
|
|
|
2
|
1478945
|
214789451
|
自科库401/401自科库 40排3列5层/
[索取号:O141/Z248]
|
在馆
|
|
