数理逻辑

  • 汪芳庭
  • 《普通高等学校十一五规划教材·数理逻辑(第2版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等...
  • 尼罗德
  • 这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书,书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题(语法,语义,完备性和紧致性),但是书中大部...
  • 胡思
  • 数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计...
  • 汪芳庭
  • 本书概述了数学基础的历史,介绍了现代数学主体的基础——ZFC集论,重点讲述四种数(自然数、实数、序数和基数)的理论.书中采用一种特殊的构造实数的新方法——非Archimedes...
  • DanielJ.Velleman
  • Manystudentshavetroublethefirsttimetheytakeamathematicscourseinwhichproofsplayasignifica...
  • 伯特兰·罗素
  • 数理哲学导论,ISBN:9787100027625,作者:(英)罗素(BertrandRussell)著;晏成书译
  • 索尔
  • 《递归可枚集合和图灵度:可计算函数与可计算生成集研究(影印版)》主要内容包括:AnInformalDescriptionFormalDefinitionsofComputabl...
  • [美]HerbertB.Enderton
  • 本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以...
  • Higham,Nicholas
  • Thisisthemostauthoritativeandaccessiblesingle-volumereferencebookonappliedmathematics.Fe...
  • [美]HerbertB.Enderton
  • 《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

数理逻辑相关书籍

逻辑新引·怎样判别是非 电子书
击穿固化思维,逻辑学的入门经典必读。
从零开始学逻辑 电子书
面对愤怒情绪,我们也是可以“化敌为友”的。
从零开始学数字电路 电子书
数字电路初学者的“傻瓜型”教材,深入浅出讲解。
育儿的逻辑 电子书
送给孩子的人生礼物——人见人爱能力、独立生存能力、批判思维能力。
德国哲学(2017年下半年卷) 电子书
《德国哲学》是由湖北大学哲学学院主办、湖北大学德国哲学研究所协办的专门研究德国哲学及相关问题的学术性刊物。本册是2017年下半年卷。
问,就对了!用提问掌控人生主动权 电子书
那些能让你更智慧更成功的答案,你不问,是不会有人告诉你的。