本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
“本书内容严密、完整、一致,很好地介绍了逻辑实践……”
——douglas cannon,华盛顿大学
“这本书写作思路清晰缜密。我采用这本书作为教材的原因是,它详细且严密地讲述了谓词演算,详细且极好地讨论了不完备性现象,并且采用伯克利学派开发的标准记号。”
——karel prikr,明尼苏达大学
“本书数学上非常严格,而且示例比其他图书都丰富。因此我已经决定将本书用作教材。”
——sun-joo shin,圣母大学
本书是数理逻辑方面的经典教材,以可读性强而著称,在美国大学中采用率极高,麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活,增加了与计算机科学相关的主题(比如有限模型),还增加了一些示例和阐释文字,更适合本科生和研究生数理逻辑课程使用。
《数理逻辑》(英文版第2版)是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。《数理逻辑》(英文版第2版)特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选《数理逻辑》(英文版第2版)的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。
Herbert B.Enderton 哈佛大学博士,师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材Elements of Set Theory和Linear Algebra。
韩语习字贴-三天学会写韩文(含光盘一张) 本书特色 《韩语习字帖:三天学会写韩文》说三天学会写韩文,特别赠送:韩文字母互动学习光盘+韩文模拟键盘图。“韩语是不是...
八年级英语(下)-R版-课时典中点综合应用创新题 内容简介 易、中、难梯度设置合理知识点100%覆盖,练透重难点选材新颖、时尚、经典八年级英语(下)-R版-课时...
点读唐传奇-盛世奇文40则 本书特色 本书几乎包揽了唐传奇中所有的经典篇目,忠实于原文,注释、批注至为详尽,并在对前人大量研究的认真归纳、梳理与辨析的基础上鉴赏...
数学教育纵横 本书特色 张奠宙先生是我国改革开放以来数学教育研究的一位代表性人物。21世纪以来,他在参与新课程改革的同时,总结中国数学“双基教学&r...
大悦读:契可夫短篇小说精选 内容简介 《大悦读·语文必读丛书:契诃夫短篇小说精选》精选了小公务员之死、胖子和瘦子、变色龙、苦恼、跳来跳去的女人、农民等13部短篇...
来自星星的英语-英语的所以然 本书特色 通过介绍现代英语中所蕴含的天文学和星象学概念,《来自星星的英语》帮您深层次地理解和掌握相关英语词汇、成语、及表达方法的由...
小王子 本书特色 这是一部忧伤的童话,是献给所有的孩子和“曾经是个孩子”的大人的童话,是一部充满哲理和智慧的童话。它通过朴素而真诚的言语道出了一个个深刻的人生哲...
沙与沫 内容简介 本书收入纪伯伦用英文创作的《疯人》《先驱者》《先知》《沙与沫》及《人子耶酥》。之所以选择这些作品,是考虑到用作者的原文可以*大限度地保留原作的...
科学探索丛书别小看孩子--Kids Communicate孩子掌握信息沟通 内容简介 如果你希望读到地道的英语,在享受英语阅读的乐趣的同时又能增长知识、开拓视野...
数学奥林匹克水平测试·小学五年级 内容简介 数学是一门智力开发的基础学科,同学们要从小学好数学,掌握扎实的基础知识,培养自己的实践能力和创新意识。近几年来,随着...
※ 郝景芳盛赞推荐 BBC《科学焦点》杂志年度最佳数学图书※ 奥数满分冠军×宝藏斜杠老师,爱数学之人眼里的美好模样※ 12个古怪有趣的话题,12次奔向无限的智力...
格列佛游记-企鹅课标准经典 本书特色 本书是乔纳森•斯威夫特的一部杰出的游记体讽刺小说,以里梅尔•格列佛船长的口气叙述周游四国的经历。通过格...
天方夜谭-第一级 本书特色 多年以来,中国对外翻译出版有限公司凭借国内一流的翻译和出版实力及资源,精心策划、出版了大批双语读物,在海内外读者中和业界内产生了良好...
新托福口语词汇小伴侣-含光盘 本书特色 本书分为两大部分:口语高频通用词汇及口语主题**词汇,词汇量丰富,涵盖所有托福口语核心词汇。在**部分加上了同义词及简单...
本书介绍了60位数学家的生平,从1707年出生的欧拉到1903年出生的冯·诺伊曼。他们通过各自的思想、教学或是其他方式,对数学作出
作品目录第一章 引言:乡土中国?第二章 居与游互动的社会第三章 旅游者的心理第四章 迁移者的性别第五章 游乐时的场域第六章 游
数学真题解析与模拟-重点大学自主招生全解 本书特色 《重点大学自主招生全解:数学真题解析与模拟》包含两个篇章:分为专题篇与套题篇。专题篇在对历年自主招生真题精心...
【内容简介】本书第四版仍由同济大学应用数学系骆承钦教授承担修订工作。这次修订从教学角度进行仔细推敲,增加了部分内容,增加
坂田笃史,1979出生于日本北九州市福冈县。毕业后,便在大型机器制造厂工作了三年,其间从事品质管理,并学到了运用顾客关系管理的经营方法。此后,就职于专业会计事务...
吹牛大王历险记-青少彩绘版 本书特色《吹牛大王历险记》由18世纪德国作家拉斯伯和毕尔格共同创作。童话的主人公敏豪生男爵确有其人。他出身贵族,曾是军人,在俄国服过...