大约有10,000项符合查询结果项。（搜索耗时：0.0337秒）
为您推荐： title政治的逻辑 马克思主义政治学原理 政治的逻辑 马克思主义政治学原理 title马克思主义政治经济学原理 第5版 title考研政治 马克思主义基本原理概论2022版 title考研政治马克思主义基本原理概论 title中国政治的逻辑 理论和实践
-
互逆主义逻辑、数学和它们的应用
周训伟著2013 年出版482 页ISBN：9787511716118本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对...
-
-
全苏政治与技术知识普及协会 物理化学力学 一门新的科学领域
（苏）列宾杰尔，П.А.著；洪定海译1964 年出版87 页ISBN：15165·2240译自:Физико-химическаямеханика.
-
-
数理逻辑引论与归结原理
王国俊著2003 年出版216 页ISBN：7030115791本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
-
数理逻辑引论与归结原理
王国俊著2006 年出版258 页ISBN：7030165837本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN：9787030401557本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
-
数理逻辑：基本原理与形式演算
李未著2008 年出版255 页ISBN：9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
-
-
