机读格式显示(MARC)

• 000 01148nam0 2200265 450

• 001 0000527841

• 005 20191204111522.6

• 010 __ |a 978-7-5646-4505-2 |d CNY26.80

• 100 __ |a 20191128d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 320000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |A shu li luo ji |f 张再跃, 张晓如编著

• 210 __ |a 徐州 |c 中国矿业大学出版社 |d 2019

• 215 __ |a 174页 |c 图 |d 26cm

• 300 __ |a 计算机科学与技术研究生教材

• 320 __ |a 有书目 (第174页)

• 330 __ |a 本书由8个部分的内容组成，包括绪论和7个章节的内容。绪论部分介绍元数学的形成与发展，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识；第2章介绍可计算性理论的基本知识；第3章至第5章是关于经典数理逻辑的内容；第6章介绍计算思维的概念，简要回顾计算思维概念的形成与发展，阐述计算思维的特点；第7章介绍形式系统构成特性，分析逻辑系统与应用系统之间的联系与区别。最终给出“哥德尔不完备性定理”的证明。

• 333 __ |a 计算机科学与技术、软件工程及相关专业学生

• 606 0_ |a 数理逻辑 |A shu li luo ji

• 690 __ |a O141 |v 5

• 701 _0 |a 张再跃 |A zhang zai yue |4 编著

• 701 _0 |a 张晓如 |A zhang xiao ru |4 编著

• 801 _0 |a CN |b 江苏新华 |c 20191122