数理逻辑

• 

  数理逻辑

  下载压缩包购买电子书

  张再跃 张晓如主编 2013 年出版136 页ISBN：9787302331025

  本书分数学基础基本理论与数理逻辑部分，其中数学基础基本理论部分包括：集合论基础、可计算性理论基础等内容，数理逻辑部分包括：形式命题演算、谓词演算、谓词演算形式系统等内容。本书可帮助学生按照“宽口径、...

• 

  离散数学导论 数理逻辑·集合·关系部分

  下载压缩包购买电子书

  黄和之编著 1992 年出版273 页ISBN：7563801464

  本书内容包括数理逻辑，集合论，二元关系三部分。

• 

  数理逻辑

  下载压缩包购买电子书

  汪芳庭编著 1990 年出版273 页ISBN：7312002005

• 

  数理逻辑引论

  下载压缩包购买电子书

  朱梧槚 肖奚安编著 1995 年出版306 页ISBN：7305027804

• 

  数理逻辑与集合论

  下载压缩包购买电子书

  石纯一 王家廞编著 1990 年出版300 页ISBN：7302005575

• 

  1963年全国数理逻辑专业学术会议论文选集

  下载压缩包购买电子书

  中国电子学会电子计算机专业委员会编 1965 年出版130 页ISBN：15034·869

• 

  代数与数理逻辑 王世强文集

  下载压缩包购买电子书

  李仲来主编 2005 年出版320 页ISBN：7303074945

• 

  数理逻辑导引

  下载压缩包购买电子书

  冯琦编著 2017 年出版516 页ISBN：9787030545794

  本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理、以及可数同质子结构存在性定理；并且以数这一基本常识观念为中轴线，包括自然数、整数、有理数、实数和...

• 

  数理逻辑十二讲

  下载压缩包购买电子书

  宋方敏 吴骏编著 2018 年出版156 页ISBN：9787111581222

  本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象...

• 

  现代数学基础丛书 数理逻辑基础 上

  下载压缩包购买电子书

  胡世华 陆钟万著 2017 年出版233 页ISBN：7030464217

• 

  数理逻辑 证明及其限度

  下载压缩包购买电子书

  郝兆宽 杨睿之 杨跃著 2014 年出版249 页ISBN：9787309110258

  本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...

• 

  数理逻辑教程 英文

  下载压缩包购买电子书

  （英）贝尔著 2015 年出版599 页ISBN：9787510086304

  这是一部学习数学逻辑和基础的研究生或者高年级本科生教程，不需要任何有关逻辑的预备知识，是学习数学逻辑的最综合全面的教材，包括了许多练习及解答提示，构成了本书的必不可少的一部分，非常适于自学。每一章分成...

• 

  数理逻辑基础 一阶逻辑与一阶理论

  下载压缩包购买电子书

  陈慕泽 余俊伟著 2003 年出版244 页ISBN：7300049427

  本书介绍数理逻辑的基础部分。

• 

  数理逻辑导论

  下载压缩包购买电子书

  莫绍揆著 1965 年出版358 页ISBN：13119·589

• 

  国外计算机科学教材系列 可计算性与数理逻辑

  下载压缩包购买电子书

  （美）布勒斯（Boolos G.S.）等著 2003 年出版356 页ISBN：7505388282

  本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...

• 

  数理逻辑引论与归结原理

  下载压缩包购买电子书

  王国俊著 2003 年出版216 页ISBN：7030115791

  本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...

• 

  数理逻辑基础与应用

  下载压缩包购买电子书

  赵春高编著 1986 年出版212 页ISBN：13115·54

• 

  数理逻辑与数学基础习题集

  下载压缩包购买电子书

  （法）马 克（Marek W.） （法）奥尼茨凯维奇（Onyszkiewicz J.）著 张金马 李 进译 1990 年出版342 页ISBN：730000671X

• 

  数理逻辑引论

  下载压缩包购买电子书

  孙希文编著 1991 年出版237 页ISBN：7560303528

• 

  数理逻辑的思想和方法

  下载压缩包购买电子书

  昂扬编著 1991 年出版230 页ISBN：7309006682

  本书系统地讲解了数理逻辑的思想与方法