大约有400项符合查询结果项。（搜索耗时：0.0117秒）
为您推荐：
数字电路逻辑设计
数字电路与逻辑设计
数字电路与逻辑设计李晓辉
脉冲与数字电路
脉冲数字电路第3版
数字通信电路
-
（美）乔治 J.萨默斯（George J. Summers）著；林自新译1999 年出版115 页ISBN：7542819267
-
黄忠裕，赵焕光编著2010 年出版244 页ISBN：9787030287113
本书主要介绍相似数学逻辑，主要内容包括数学概念，数学命题，数学推理，数学证明，逻辑基础等。本书可作为从事数学专业学习与工作的有关人员的数学认识论的入门参考书，也可作为从事其它专业工作的数学业余爱好者的.....
-
李娜2006 年出版326 页ISBN：7310023730
本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。
-
傅丽著2006 年出版118 页ISBN：7504644242
本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...
-
（英）A·G·哈密尔顿著；骆如枫等译1989 年出版294 页ISBN：7100001463
本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。
-
（美）恩德滕著2006 年出版330 页ISBN：7115141452
本书是数理逻辑课程的教材。
-
-
张清宇主编2010 年出版128 页ISBN：9787500485438
本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...
-
（波兰）塔尔斯基著2009 年出版259 页ISBN：9787100064521
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
-
朱梧槚著2008 年出版317 页ISBN：7561140312
本书主要介绍了数学无穷与数学基础，潜无限数学系统与重建实无限数学系统的构想。
