数理逻辑和算法理论——计算机科学与人工智能的数学基础
正版图书，可开发票，请放心购买。
￥ 34.58 8.6折 ￥ 40 全新
库存5件
广东广州
认证卖家担保交易快速发货售后保障
作者编者:袁相碗|责编:刘丽丽
出版社中国铁道
ISBN9787113298722
出版时间2023-04
装帧其他
开本其他
定价40元
货号31773652
上书时间2024-06-19
- 店主推荐
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
目录
第0章绪论10.1什么是算法化和公理化矛盾统一的数学发展史l0.2什么是数理逻辑40.3算法概念的演变60.4哥德尔不完全性定理7第1章逻辑的数学化91.1莱布尼茨的逻辑的数学化构想91.2布尔的逻辑代数121.3弗雷格的逻辑演算211.4命题演算和谓词演算系统的完善25第2章集合论公理化352.1古典集合论的创立362.2第三次数学危机(集合论悖论)的引发432.3集合论的公理化47第3章数学基础问题三大派之争533.1逻辑主义543.2直觉主义573.3形式主义633.4数学基础问题三大派之争的简要评述67第4章数理逻辑主要内容的形成714.1希尔伯特的四个中心问题和哥德尔的卓越贡献714.2数理逻辑主要内容的形成734.3哥德尔完全性定理794.4哥德尔不完全性定理824.5哥德尔不完全性定理的历史意义864.6哥德尔的数学思想91第5章丘奇-图灵论题的创立和计算机的出现945.1可计算性理论的兴起945.2丘奇-图灵论题的创立1005.3图灵理想计算机的意义1065.4计算机的
内容摘要
本书以数理逻辑和算法理论的进化为主线，并结合计算机与人工智能学科的发展为其主要特色进行论述。本书共分8章，主要内容包括算法化和公理化矛盾统一的数学史观，逻辑的数学化，集合论公理化，数学基础问题三大派之争，数理逻辑主要
内容的形成，丘奇-图灵论题的创立和计算机的出现，计算机科学与算法，人工智能与算法。其中后两章介绍了计算机科学、人工智能与算法的关系。本书适合作为高等院校人工智能、计算机科学、数学、哲学等本科专业学生及研究生对应课程的学习教材，也适合作为从事计算机科学和人工智能应用与开发的科技人员的参考用书。
— 没有更多了 —
以下为对购买帮助不大的评价