大约有82,618项符合查询结果项。（搜索耗时：0.2547秒）
为您推荐：
逻辑学基础
逻辑学基础教程 正版图书
辩证法的逻辑基础 正版图书
数理逻辑基础教程
逻辑基础问题
title逻辑学基础 修订本 正版图书
-
陆钟万著1998 年出版258 页ISBN：7030060652
-
陆钟万著1989 年出版240 页ISBN：7301008287
-
周训伟著2004 年出版398 页ISBN：7504614319
本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。
-
林邦瑾著1985 年出版299 页ISBN：2115·19
-
李娜2006 年出版326 页ISBN：7310023730
本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。
-
（美）恩德滕著2006 年出版330 页ISBN：7115141452
本书是数理逻辑课程的教材。
-
-
张清宇主编2010 年出版128 页ISBN：9787500485438
本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...
-
复旦大学数学系编著1960 年出版277 页ISBN：13119·382
-
（德）艾宾浩斯著2008 年出版289 页ISBN：7506292270
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...
