大约有63,208项符合查询结果项。（搜索耗时：0.1656秒）
为您推荐：
冯契文集第六卷 中国古代哲学的逻辑发展
冯契文集第五卷 中国古代哲学的逻辑发展
逻辑学的发展
价值重构 读懂工业互联网发展逻辑
title国际象棋 儿童数理逻辑思维发展启蒙教程
寻找生命的逻辑 生物学观念 发展
-
林邦瑾著1985 年出版299 页ISBN：2115·19
-
李娜2006 年出版326 页ISBN：7310023730
本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。
-
（美）恩德滕著2006 年出版330 页ISBN：7115141452
本书是数理逻辑课程的教材。
-
-
张清宇主编2010 年出版128 页ISBN：9787500485438
本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...
-
胡世华，陆钟万著2017 年出版233 页ISBN：7030464217
-
复旦大学数学系编著1960 年出版277 页ISBN：13119·382
-
（德）艾宾浩斯著2008 年出版289 页ISBN：7506292270
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程度上能够执行数学证明。读者对象：本书适用于数学、计算机科学、人工智能和决策学等各个领域的本科生...
-
刘治旺，邵春林，毕富生，赵哈黎编1982 年出版290 页ISBN：
-
黄和之编著1992 年出版273 页ISBN：7563801464
本书内容包括数理逻辑，集合论，二元关系三部分。
