|
题名:
|
吴文俊全集 wu wen jun quan ji / 吴文俊著 , |
|
ISBN:
|
978-7-5088-5550-9 价格： CNY188.00 |
|
语种:
|
eng |
|
载体形态:
|
414页 图 25cm |
|
出版发行:
|
出版地： 北京 出版社： 龙门书局 出版日期： 2019 |
|
内容提要:
|
本书围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述，试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。 |
|
主题词:
|
数学理论 |
|
中图分类法:
|
O1-53 版次： 5 |
|
其它题名:
|
数学机械化卷 |
|
主要责任者:
|
吴文俊 wu wen jun 著 |
|
附注:
|
国家出版基金项目 |
|
索书号:
|
O1-53/6043:1 |