大约有700项符合查询结果项。（搜索耗时：0.0099秒）
为您推荐： title政治的逻辑 马克思主义政治学原理 并购的逻辑 赢家必懂的40条商业原理 论 数学原理 及相关系统的形式上不可判定命题 论数学原理及相关系统的形式上不可判定命题 政治的逻辑 马克思主义政治学原理 金字塔原理 本土实践版 为什么精英都是逻辑控
-
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN：9787030401557本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...
-
数理逻辑：基本原理与形式演算
李未著2008 年出版255 页ISBN：9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...
-
数理逻辑引论与归结原理
王国俊著2003 年出版216 页ISBN：7030115791本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
-
数理逻辑引论与归结原理
王国俊著2006 年出版258 页ISBN：7030165837本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...
-
电磁场理论形式逻辑分析
杨本洛著2009 年出版197 页ISBN：9787313054586本书是一本论文集，主要涉及“电磁场理论”、两类“相对论”、20世纪“非平衡态热力学”以及“流体力学”等学科数学基础的分析。
-
量子力学形式逻辑与物质基础探析 上
杨本洛著2006 年出版270 页ISBN：7313043023本书是以量子力学及相关问题为论述对象的专著，对自然科学的数学及哲学基础进行了评述，提出了个人的观点。
-
量子力学形式逻辑与物质基础探析 中
杨本洛著2006 年出版395 页ISBN：7313043023本书是以量子力学及相关问题为论述对象的专著，对自然科学的数学及哲学基础进行了评述，提出了个人的观点。
-
量子力学形式逻辑与物质基础探析 下
杨本洛著2006 年出版496 页ISBN：7313043023本书是以量子力学及相关问题为论述对象的专著，对自然科学的数学及哲学基础进行了评述，提出了个人的观点。
-
