本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
“本书内容严密、完整、一致,很好地介绍了逻辑实践……”
——douglas cannon,华盛顿大学
“这本书写作思路清晰缜密。我采用这本书作为教材的原因是,它详细且严密地讲述了谓词演算,详细且极好地讨论了不完备性现象,并且采用伯克利学派开发的标准记号。”
——karel prikr,明尼苏达大学
“本书数学上非常严格,而且示例比其他图书都丰富。因此我已经决定将本书用作教材。”
——sun-joo shin,圣母大学
本书是数理逻辑方面的经典教材,以可读性强而著称,在美国大学中采用率极高,麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活,增加了与计算机科学相关的主题(比如有限模型),还增加了一些示例和阐释文字,更适合本科生和研究生数理逻辑课程使用。
《数理逻辑》(英文版第2版)是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。《数理逻辑》(英文版第2版)特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选《数理逻辑》(英文版第2版)的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。
Herbert B.Enderton 哈佛大学博士,师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材Elements of Set Theory和Linear Algebra。
星期二晚上8点左右,池塘里昏昏欲睡的青蛙被惊醒了!接下来,没有文字的描述,只有在荷叶上尽情飞翔的青蛙带你穿越城镇的每个角落,感受一个不平静的夜晚,初升的太阳照耀...
困境中的中国现代性意识 本书特色 现代性(现代化)的总体叙事是中国一百多年来*大的意识形态,中国文化的历史性精神在现代中国就是通过它来体验自身的,这似乎已经成为...
线性代数-(第2版) 本书特色 The audacious title of this book deserves an explanation. Almost...
城市规划中的计算机辅助设计 内容简介 本书以AutoCAD软件为基本平台(涉及Autodesk Map和Civil 3D),结合其他软件(如Photoshop、...
语文-七年级下册-人教版-教材解读 本书特色 四位一体,解读教材1.精讲教材显性知识,全面夯实教材基础2.细解教材隐形知识,透彻解读重点难点3.学考对接高效演练...
美国小学语文-第二册-中英文双语版 本书特色 原版美语教材 美音原音领读(赠光盘) 中英文对照=每天15分钟,让孩子在家轻松上正宗美国小学。 (美音原音领读试听...
《智能数据时代》内容简介:大数据这个概念自诞生以来,已经经历了几次飞跃。时至今日,大数据这个名词频繁地与人工智能、DT、预测
阳光阅读经典珍藏系列 一千零一夜 本书特色 说起孩子不愿意读名著。您想过为什么吗?编者认为一是没有选到好书,翻译、编译差,字体小,错字多,无插图、枯燥乏味......
王尔德童话精选-2000单词读遍世界名著丛书 本书特色 现代美语改编,世界名著变简单了;用词精纯,彻底强化英语能力;中英双面对照,方便学习轻松阅读;阅读、写作、...
傲慢与偏见 本书特色 《中小学生必读丛书:傲慢与偏见》取材于日常生活,生动刻画了当时英国乡镇人民的世态人情,小说情节跌宕起伏,极具戏剧性,文笔流畅,彰显睿智,是...
中国现代戏曲精选-美绘版 本书特色 顾之川等近百位全国知名专家学者、语文特级教师倾力打造本丛书!原汁原味呈现经典,不改写,不缩写,立足新课程,紧扣中小学语文教学...
新编英语教程课文辅导-6-(第三版) 本书特色 《新编英语教程(第三版)课文辅导》是根据上海外语教育出版社出版的《新编英语教程(第三版)》编写而成的课文配套辅导...
学前儿童美术教育-第2版 本书特色 张念芸编著的《学前儿童美术教育(学前教育专业系列教材第2版新世纪高等学校教材)》主要目的是使学生通过本大纲所规定之教学内容的...
当代外国教育--教育改革的浪潮与趋势 内容简介 本书选择具有代表性的16个国家为对象国,以研究当代国外教育改革的理论与实践为中心,兼顾当代国外教育事业的发展及其...
壹力文库?百灵鸟英文经典月亮与六便士:英文经典 本书特色 《月亮与六便士》属于“百灵鸟英文经典”系列丛书,是英国作家威廉·...
疯狂麻花英语2(含盘) 本书特色 不会魔法的人叫麻瓜,说不出英语的人,我们则叫“麻花”,实用、有趣的短语、喌、惯用语,令人莞尔的四格情境漫画及对话解说,应付考试...
实用英语写作 本书特色 本教材从交际原则出发,强调实用性,突出各类英语文书的写作特点,强调通俗易懂、简明完整、清楚正确的写作风格和原则。本书适用于高职高专文秘专...
《杜诗学论薮》内容简介:唐代诗人杜甫被尊为“诗圣”、其诗被誉为“诗史”。唐以后对杜甫的研究蔚然成风,注杜、研杜、评杜、学杜
格列佛游记-读名著.学语文-增订版 本书特色 18世纪英国*杰出的政论家和讽刺小说家斯威夫特的代表作,世界文学史上一部伟大的讽刺小说。《语文新课标必读丛书:格列...
名著点读:昆虫记 本书特色 《昆虫记(无障碍阅读)/名著点读》是法国昆虫学家让·亨利·法布尔倾其一生心血著成的科学巨著,是久享盛名的青少年科普经典。他笔下的昆虫...