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