MARC状态:订购 文献类型:中文图书 浏览次数:14
- 题名/责任者:
- 数理逻辑/张再跃, 张晓如编著
- 出版发行项:
- 徐州:中国矿业大学出版社,2019
- ISBN及定价:
- 978-7-5646-4505-2/CNY26.80
- 载体形态项:
- 174页:图;26cm
- 个人责任者:
- 张再跃 编著
- 个人责任者:
- 张晓如 编著
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 一般附注:
- 计算机科学与技术研究生教材
- 书目附注:
- 有书目 (第174页)
- 提要文摘附注:
- 本书由8个部分的内容组成,包括绪论和7个章节的内容。绪论部分介绍元数学的形成与发展,同时简要说明课程学习的目的和意义;第1章介绍集合论的基础知识;第2章介绍可计算性理论的基本知识;第3章至第5章是关于经典数理逻辑的内容;第6章介绍计算思维的概念,简要回顾计算思维概念的形成与发展,阐述计算思维的特点;第7章介绍形式系统构成特性,分析逻辑系统与应用系统之间的联系与区别。最终给出“哥德尔不完备性定理”的证明。
- 使用对象附注:
- 计算机科学与技术、软件工程及相关专业学生
全部MARC细节信息>>