广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑和算法理论:计算机科学与人工智能的数学基础/袁相碗编著

出版发行项:

北京:中国铁道出版社有限公司,2023

ISBN及定价:

978-7-113-29872-2/CNY40.00

载体形态项:

170页:图，照片;26cm

其它题名:

计算机科学与人工智能的数学基础

丛编项:

人工智能应用丛书

个人责任者:

袁相碗 (1934-) 编著

学科主题:

数理逻辑

学科主题:

算法理论

中图法分类号:

O141

中图法分类号:

O141.3

提要文摘附注:

本书共八章，内容包括：算法化和公理化矛盾统一的数学史观，逻辑的数学化，集合论公理化，数学基础问题三大派之争，数理逻辑主要内容的形成，丘奇－图灵论题的创立和计算机的出现，计算机科学与算法，人工智能与算法。

豆瓣简介：