数理逻辑和算法理论：计算机科学与人工智能的数学基础

　　本书以数理逻辑和算法理论的进化为主线，并结合计算机与人工智能学科的发展为其主要特色进行论述。本书共分8章，主要内容包括算法化和公理化矛盾统一的数学史观，逻辑的数学化，集合论公理化，数学基础问题三大派之争，数理逻辑主要内容的形成，丘奇-图灵论题的创立和计算机的出现，计算机科学与算法，人工智能与算法。其中后两章介绍了计算机科学、人工智能与算法的关系。本书适合作为高等院校人工智能、计算机科学、数学、哲学等本科专业学生及研究生对应课程的学习教材，也适合作为从事计算机科学和人工智能应用与开发的科技人员的参考用书。

暂缺《数理逻辑和算法理论：计算机科学与人工智能的数学基础》作者简介

第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计算机的