|
题名:
|
数理逻辑和算法理论 / 袁相碗编著 , |
|
ISBN:
|
978-7-113-29872-2 价格： CNY40.00 |
|
语种:
|
chi |
|
载体形态:
|
170页 图，照片 26cm |
|
出版发行:
|
出版地： 北京 出版社： 中国铁道出版社有限公司 出版日期： 2023 |
|
内容提要:
|
本书共8章，内容包括：算法化和公理化矛盾统一的数学史观，逻辑的数学化，集合论公理化，数学基础问题三大派之争，数理逻辑主要内容的形成，丘奇－图灵论题的创立和计算机的出现，计算机科学与算法，人工智能与算法。 |
|
主题词:
|
数理逻辑 |
|
主题词:
|
算法理论 |
|
中图分类法:
|
O141 版次： 5 |
|
中图分类法:
|
O141.3 版次： 5 |
|
主要责任者:
|
袁相碗 编著 |