数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。'所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。总之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。
'数理逻辑'一书的作者Herbert B.Enderton，哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校'逻辑学论坛'主席，曾担任《符号逻辑学会评论》杂志的主编。
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。
为您推荐
内容简介音乐是很抽象的艺术，也是很简单很能震撼人心的魔咒，它如种子一般深深地埋进我们的心底。当我们不经意地竖起耳朵，细细聆听下去，总有某一种音乐的咒语，让我们深深地陶醉其间。 在每首名曲的背后，我们也总能发现一..
内容简介 1930年由程砚秋、焦菊隐、金仲荪先生创办的北平中华戏曲专科学校，对旧式的戏曲教育制度进行了大胆改革，如招收学生男女兼顾等。教育上采取中西结合，对学生进行启发式教学，尤其重视文化学习。剧目上既尊重传统..
内容简介科学微电影经典校本课程系列丛书是编写团队由科学、技术、影视、教育的国内外一流专家担任，这支团队在10年前就担当了中国科协“科学DV资源包”的开发。《科学微电影校本课程》引导青少年在学习掌握“科学探究..
内容简介本卷为《中华科学技术大词典·社会科学卷》, 包括经济、法学、社会、统计、管理、经贸、传播、图情、档案、编辑等学科门类。
书籍特色 《中华科学技术大词典》..
内容简介 《现代科学技术知识词林》是一部现代科学技术领域内综合专业实用工具书。全书共收录词目6987个， 共计216万字。分为五个篇章二十六个板块。其五个篇章分别为基础学科篇、高技术篇、产（行）业科技篇、科技..
内容简介本书记录了自2008年6月以来中国科学院知识创新工程的一些大事及知识创新的典型案例, 展现了知识创新工程的丰硕成果, 同时追寻科技将帅人才成长的人生轨迹和心路历程, 关注未来中国科研队伍人才的培养。
书..
