当前位置：首页 > TAG信息列表 > 数理逻辑
数理逻辑
-
-
-
-
-
-
-
-
-
-
-
数理逻辑 证明及其限度
郝兆宽，杨睿之，杨跃著2014 年出版249 页ISBN：9787309110258本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...
-
-
-
-
国外计算机科学教材系列 可计算性与数理逻辑
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
-
数理逻辑引论与归结原理
王国俊著2003 年出版216 页ISBN：7030115791本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
-
-
数理逻辑与数学基础习题集
（法）马 克（Marek，W.），（法）奥尼茨凯维奇（Onyszkiewicz，J.）著；张金马，李 进译1990 年出版342 页ISBN：730000671X -
-
