计算机、逻辑和集合论 在线电子书 图书标签: 集合论 逻辑 计算机
发表于2024-12-23
计算机、逻辑和集合论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
本书是为大学三、四年级学生而写,并且曾在南开大学计算机系、数学系作为教材讲授多年。重点介绍了计算机科学与技术的数学基础――可计算理论、数理逻辑与集合论,以及三者之间的关系,主要内容包括:理想计算机与有穷性原则、有穷性逻辑和有穷性数学、一般逻辑与一般数学、集合论等。书末还附有一定的习题。
本书读者对象:高校计算机系、数学系、哲学系师生,计算机工作者。
评分
评分
评分
评分
计算机、逻辑和集合论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024