MARC状态:审校 文献类型:中文图书 浏览次数:73
- 题名/责任者:
- 数理逻辑和算法理论:计算机科学与人工智能的数学基础/袁相碗编著
- 出版发行项:
- 北京:中国铁道出版社有限公司,2023
- ISBN及定价:
- 978-7-113-29872-2/CNY40.00
- 载体形态项:
- 170页:图;26cm
- 其它题名:
- 计算机科学与人工智能的数学基础
- 丛编项:
- 人工智能应用丛书
- 个人责任者:
- 袁相碗 编著
- 学科主题:
- 数理逻辑-高等学校-教材
- 学科主题:
- 算法理论-高等学校-教材
- 中图法分类号:
- O141
- 责任者附注:
- 袁相碗, 1957年毕业于南京大学数学系, 同年留校在数学系任教, 曾任南京大学教授。
- 书目附注:
- 有书目 (第170页)
- 提要文摘附注:
- 本书共分8章, 主要内容包括算法化和公理化矛盾统一的数学史观, 逻辑的数学化, 集合论公理化, 数学基础问题三大派之争, 数理逻辑主要内容的形成, 丘奇-图灵论题的创立和计算机的出现, 计算机科学与算法, 人工智能与算法。其中最后两章介绍了计算机科学、人工智能与算法的关系。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O141/441 | 72558792 | 自然科学第二书库(7F) | 可借 | 自然科学第二书库(7F) | |
O141/441 | 72558793 | 自然科学第二书库(7F) | 可借 | 自然科学第二书库(7F) | |
O141/441 | 72558794 | 自然科学第二书库(7F) | 可借 | 自然科学第二书库(7F) |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到: 管理书架