大约有82,618项符合查询结果项。(搜索耗时:0.2007秒)
为您推荐:
逻辑学基础
逻辑学基础教程 正版图书
辩证法的逻辑基础 正版图书
数理逻辑基础教程
逻辑基础问题
title逻辑学基础 修订本 正版图书
-
(瑞士)J.M.波亨斯基,(美)H.B柯里著;田龙九,李仁寿译1991 年出版207 页ISBN:7307010569
-
(美)Herbert B.Enderton著;沈复兴,陈磊,孙运传译2007 年出版240 页ISBN:7115143110
本书是数理逻辑课程的经典教材。
-
昂扬编著1991 年出版230 页ISBN:7309006682
本书系统地讲解了数理逻辑的思想与方法
-
李仲来主编2005 年出版320 页ISBN:7303074945
-
陈淑敏编1984 年出版185 页ISBN:13217·126
-
李娜编著2010 年出版271 页ISBN:9787307079915
本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用,简单命题、复合命题、命题逻辑,量词的引入和量词的逻辑介绍。适合相关专业学生使用。...
-
汪芳庭编著2010 年出版205 页ISBN:9787312027086
本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
-
王世强,孟晓青著1999 年出版377 页ISBN:7303048553
国家自然科学基金教育部博士点基金资助项目。
-
-