图 书 馆《数理逻辑》
阅读次数：2
热榜来源
借阅领域情况：
2024-11-06，江苏科技大学图书馆，2024年11月 排名第 25 名
简介与推荐
【内容简介】《数理逻辑》共分7章。第0章绪论，介绍元数学的形成与发展，以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识，包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较...等方面的内容；第2章介绍可计算性理论的基本知识，包括计算概念的形成与发展、算法的基本描述、计算概念的数学定义、可计算性函数的基本性质等；第3章～第5章是关于经典数理逻辑的内容，包括命题演算和谓词演算两个部分，重点介绍逻辑演算以及相关形式系统的基本性质，内容涉及形式证明、形式推理、形式系统的语法、语义等概念以及逻辑系统的可靠性与充分性等方面的知识；第6章以一阶算术系统为例，介绍基于逻辑系统扩展的数学应用系统的描述方法，最终给出“哥德尔不完备性定理”的证明。在《数理逻辑》的附录中给出了全书的习题解答。
《数理逻辑》面向计算机科学与技术、软件工程以及相关专业的高等院校学生，尤其是高校相关专业的高年级本科生及研究生，可以作为教材，也可作为希望了解数理逻辑基础知识的高校学生和科研技术工作者的阅读材料或参考资料。
更多……
- 热书快递（最新上榜图书）
- 热书自选（最有个性榜单）
- 推荐专题（精选热门图书）
- 热书搜索（我有我的目标）
- 最新评论（TA们都在说..）
- 主题领域（领域分类浏览）
- 马列毛邓[1145]
- 哲学、宗教[6248]
- 社会科学总论[3468]
- 政治、法律[7679]
- 军事[460]
- 军事理论[24]
- 世界军事[71]
- 中国军事[109]
- 亚洲各国军事[13]
- 欧洲各国军事[17]
- 美洲各国军事[14]
- 战略学、战役学、战术学[130]
- 军事技术[81]
- 军事地形学、军事地理学[1]
- 经济[9786]
- 文化、科学、教育、体育[3891]
- 语言、文字[9930]
- 文学[31371]
- 艺术[7859]
- 历史、地理[6437]
- 自然科学总论[540]
- 自科理论与方法论[269]
- 科现状及发展[37]
- 自科机构、团体、会议[2]
- 自科研究方法[12]
- 自科教育与普及[102]
- 自科丛书、文集、报刊[9]
- 自科参考工具书[3]
- 自科科学调查、考察[12]
- 自然研究、自然历史[14]
- 系统科学[80]
- 数理科学和化学[6616]
- 天文学、地球科学[891]
- 生物科学[2503]
- 医药、卫生[6412]
- 农业科学[1497]
- 工业技术[20854]
- 交通运输[902]
- 航空、航天[303]
- 航空、航天技术的研究与探索[18]
- 航空[224]
- 航天（宇宙航行）[60]
- 航空、航天医学[1]
- 环境科学、安全科学[768]
- 综合性图书[329]
- 丛书[103]
- 辞典[15]
- 论文集、全集、选集、杂著[104]
- 年鉴、年刊[2]
- 期刊、连续性出版物[12]
- 图书目录、文摘、索引[93]
- 热书分布（我有我的选择）
- 图书导读
- 开放利用
- 使用说明
-
. 点击封面或书名，看图书详情、评论留言、热榜来源、简介与推荐等信息。
. 若该书本馆有纸本，点击“××馆藏”查看该馆馆藏情况。
. 在“图书详情”页面，点击“热榜来源”下的日期，能直接访问来源网站的图书详情。
nbt.edu.cn