本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
“本书内容严密、完整、一致,很好地介绍了逻辑实践……”
——douglas cannon,华盛顿大学
“这本书写作思路清晰缜密。我采用这本书作为教材的原因是,它详细且严密地讲述了谓词演算,详细且极好地讨论了不完备性现象,并且采用伯克利学派开发的标准记号。”
——karel prikr,明尼苏达大学
“本书数学上非常严格,而且示例比其他图书都丰富。因此我已经决定将本书用作教材。”
——sun-joo shin,圣母大学
本书是数理逻辑方面的经典教材,以可读性强而著称,在美国大学中采用率极高,麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活,增加了与计算机科学相关的主题(比如有限模型),还增加了一些示例和阐释文字,更适合本科生和研究生数理逻辑课程使用。
《数理逻辑》(英文版第2版)是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。《数理逻辑》(英文版第2版)特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选《数理逻辑》(英文版第2版)的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。
Herbert B.Enderton 哈佛大学博士,师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材Elements of Set Theory和Linear Algebra。
于永正,全国著名特级教师,教育部“跨世纪名师工程”向全国推出的首位名师。1962年以来一直从事小学语文教学工作。1985年被评为江苏省特级教师,同年被徐州市人民...
堂·吉诃德 本书特色 塞万提斯塑造的堂•吉诃德,是世界文学史上非常成功的艺术形象之一。西方人们常把他和哈姆雷特、浮士德(“*经典英...
青少年散文篇赏读 本书特色 《青少年散文名篇赏读》讲述了是散文是文学殿堂中一种影响广泛、备受广大读者青睐的文体。这些经历了时间考验的散文佳作,不仅丰富了世界文学...
飞鸟集.新月集-中小学生必读书-最权威全译本 本书特色《飞鸟集》与《新月集》是文学巨匠泰戈尔*具美感和欣赏性的代表作,也是世界上*杰出的诗集和散文集之一。白太和...
彩绘全注音幼儿国学启蒙-三字经 本书特色 《三字经》采用三字一句的整齐句式,运用事理并举的方法,深入浅出地阐述了丰富的人生哲理,读起来琅琅上口,易记易诵,是中国...
日语基础语法精要 本书特色 《日语基础语法精要》:凝聚名师教学心得各章各节精选精解提炼日语语法精华兼收并蓄众家所长编写新颖科学严谨打造权威语法精品日语基础语法精...
数学无处不在,无所不能。它渗透在所有领域,能解释宇宙万物,完全超越了人类的能力。本书按照数学关键概念的演化过程来组织结构
伊恩·斯图尔特(lan Stewart),英国数学家、科普和科幻作家,英国华威大学数学荣誉教授,因其大量优秀的数学科普作品而享誉世界。著书60多种,包括《给年青...
白马骑士-B1 本书特色 《白马骑士》:学外语,离不开阅读。本套德语读物是上海外语教育出版社精心策划的引进版读物,由国内德语教学界资深教师进行了合理注译。其构思...
一看就会写 小学生日记起步 本书特色 亲子互动+精美插图,一看就懂;讲练结合+优美范文,一学就会;方法指导+趣味练笔,一用就灵;一看就会写 小学生日记起步 内容...
高一-语法分层突破 内容简介 《沸腾英语:语法分层突破(高1)》内容单元按一般教材语法点单元和顺序设置,编排上将重要语法点放在专题前面精讲,次要语法点通过...
刘应科中医执业医师实践技能通关掌中宝 本书特色 忙碌的生活留给我们自己呵护梦想的时间并不多,面对书店里众多厚重的参考书(有的时候我甚至说:厚重的像砖块,足可以砸...
格列佛游记-青少版 本书特色 这是一部奇书,自1726年问世后,两百多年来,先后被翻译成数十种文字;广为流传,是世界文学宝库中的一部不朽杰作。全书共四个部分,描...
国际私法-(第四版) 本书特色 《国际私法(第四版)》采用了国际上普遍接受的国际私法学体系,结合大量国内国际立法、司法实践和理论研究的*新成果,深入系统地阐述了...
蒙曼,隋唐史学者,北京大学历史学博士,中央民族大学教授。2002年起,于中央民族大学历史文化学院任教,主要研究领域为隋唐五代史及中国古代女性史。2007年,登上...
格兰姆童话-小学生文库-(下)-011-童话类 本书特色 正值辛亥百年,"民国热"再次升温.民国,是我们国家从封闭走向开放,从传统走向现代的一个承上启下、继往开...
《规范性:思想和意义之基》内容简介:规范性是当代规范伦理学的一个核心观念。本书深入探究了人类理性层面的规范性与某种植根于自
重振与衰变-南京国民政府研究 内容简介 《重振与衰变:南京国民政府教育部研究》根据湖北省优秀博士学位论文《南京国民政府教育部及其行政制度研究》修改而成,系国家教...
2012-口腔执业医师-国家医师资格考试模拟试题解析-修订版 本书特色 为帮助考生有效地掌握其执业所必须具备的基础理论、基本知识和基本技能,具有综合应用能力,能...
旧制度与法国大革命 本书特色 ·被公认为研究法国大革命的经典之作·通过对大量史实的分析,揭示了旧制度与大革命的内在联系· 旧制度与法国大革命 内容简介 本书作为...