当前位置：首页 > TAG信息列表 > 数理逻辑
数理逻辑
-
-
-
-
-
-
-
-
-
面向计算机科学的数理逻辑系统建模与推理 英文版·第2版
（英）胡思（Huth M.）伦敦帝国学院（MICHAELHuth）著 2005 年出版427 页ISBN：7111160533本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。
-
可计算性与数理逻辑 第4版
（美）George S.Boolos （美）John P.Burgess （美）Richard C.Jeffrey著 何自强等译 2005 年出版289 页ISBN：7121007797本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本...
-
-
-
实物与暗物的数理逻辑
宋文淼 阴和俊编著 2006 年出版159 页ISBN：7030164229量子力学与相对论极大地改变了人类的思维和对自然的认识，极大地促进了科学技术的发展。量子力学与相对论是物理学的终结吗？未来的物理学向哪个方向发展？本书从实物与暗物的数理逻辑角度提供了一个视角，阐述了重...
-
-
现代逻辑学讲义 数理逻辑
李小五编著 2005 年出版265 页ISBN：7306025880本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
-
数理逻辑引论与归结原理
王国俊著 2006 年出版258 页ISBN：7030165837本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...
-
-
数理逻辑与集合论 第2版 精要与题解
王宏 杨明编著 2001 年出版150 页ISBN：7302045283本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习指导，包括主教材中的基本概念、基本公式、定义、...
-
-
数理逻辑基础
（德）希尔柏脱（D.Hilbert） （德）阿克曼（W.Ackermann）著 莫绍揆译 1958 年出版200 页ISBN：13031·750本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算而推出...