网站首页
交通运输
军事
农业科学
医药卫生
历史地理
哲学宗教
天文地球
工业技术
政治法律
数理化
文化科学教育体育
文学
环境安全
生物
社会科学
经济
自然科学
航空航天
艺术
语言文字
马列毛邓
综合图书
其他书籍
外文
《数理逻辑》PDF下载
购买积分：11
如何计算积分？
作 者：（德）艾宾浩斯著
出 版 社：世界图书出版公司北京公司
出版年份：2008
ISBN：7506292270
页数：289 页
图书介绍：本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生、研究生以及相关专业的研究人员。
点击购买此书全本PDF电子书
暂无PDF目录预览