本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
“本书内容严密、完整、一致,很好地介绍了逻辑实践……”
——douglas cannon,华盛顿大学
“这本书写作思路清晰缜密。我采用这本书作为教材的原因是,它详细且严密地讲述了谓词演算,详细且极好地讨论了不完备性现象,并且采用伯克利学派开发的标准记号。”
——karel prikr,明尼苏达大学
“本书数学上非常严格,而且示例比其他图书都丰富。因此我已经决定将本书用作教材。”
——sun-joo shin,圣母大学
本书是数理逻辑方面的经典教材,以可读性强而著称,在美国大学中采用率极高,麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活,增加了与计算机科学相关的主题(比如有限模型),还增加了一些示例和阐释文字,更适合本科生和研究生数理逻辑课程使用。
《数理逻辑》(英文版第2版)是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。《数理逻辑》(英文版第2版)特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选《数理逻辑》(英文版第2版)的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。
Herbert B.Enderton 哈佛大学博士,师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材Elements of Set Theory和Linear Algebra。
自然辩证法概论(第2版)/吴炜 本书特色 本书共分四章,*章介绍了马克思主义自然观的形成过程,强调了马克思主义自然观是在古代朴素唯物主义自然观、近代机械唯物主义...
中国学生的第一套科普读物:人体之谜(彩图版) 本书特色 400多个知识点,500余幅精美插图,邀你一起步入奥妙无穷的人体世界,包罗趣味科普知识,丰富课外阅读视野...
走遍俄罗斯(第二册) 本书特色 原版教材,精心编译本套教材从俄罗斯出版社引进,作者为莫斯科国立大学国际教育中心的一线教师,编译者为北京大学外国语学院俄语系的实践...
五年级适用-好写作好轻松进步集-最新版 本书特色 “轻松写作丛书”按照教育部颁布的《语文课程标准》的写作要求,精心选编了全国(包括港澳台)数百所中小学的学生写得...
同声传译基础 本书特色 《同声传译基础》:高等学校翻译专业本科教材分为语言能力、笔译能力、口译能力、学科素养四大板块,其编写紧扣翻译专业培养目标,力图区别于传统...
格列佛游记-读名著.学语文-增订版 本书特色 18世纪英国*杰出的政论家和讽刺小说家斯威夫特的代表作,世界文学史上一部伟大的讽刺小说。《语文新课标必读丛书:格列...
外国社会学史(修订本) 内容简介 本书**版分三篇,共14章。现在的修订版,保持三篇的格局未变,只是在前两篇里各增加了一章新内容。具体地说,**篇是写社会学产生...
考研英语高分作文黄金模板 本书特色 风靡全国,畅销十年,5000万读者的选择。谙熟15类黄金模板,掌握3步快速写作流程,背诵100篇经典文章,参透6项高分作文原...
最新五年中考满分作文大全-波波乌作文考典 本书特色本书收集了*五年中考考题与佳作范文300篇,考题分为话题作文、命题作文、材料作文、半命题作文。考题配以思路点拨...
英语笔译实务-(3级)(权威辅导最新修订版) 本书特色 《英语笔译实务:3级(教材配套训练)(*新修订版)》《英语笔译实务:教材配套训练(3级)(*新修订版)》...
《VR虚拟现实》内容简介:《VR虚拟现实:重构用户体验与商业新生态》从多学科的角度,系统地阐述了虚拟现实行业发展所需要思考的问
神秘及幻想故事集-文学名著英汉双语读物-第七级 本书特色 爱伦·坡是19世纪美国小说家,诗人、评论家。他一生创作了六七十篇小说,提出了“为艺术而艺术”的口号。他...
2014-中医执业医师资格考试采分点必背-国家执业医师资格考试指定用书-赠200元京师网校学习卡 本书特色 《(2014)国家执业医师资格考试指定用书:中医执业...
华语地区最权威国学教材,80%台湾人读此书长大,台湾地区沿用40年的国学必修教材。国学大师任继愈先生鼎力推荐!周总理说:台湾国学比我们做的好。任继愈先生说:这种...
国文课没教的事 本书特色 图书金鼎奖、开卷年度好书奖得主前台湾清华大学校长、电子设计自动化界诺奖——“卡夫曼奖”获得者刘炯朗带你品读文化精粹,一本书阅尽传统中国...
新德汉小词典 内容简介 本书典收约31000个,内含我国《大学德语教学大纲》所规定的3500词,其中的2200词也是德国《对外德语测试大纲》所规定的现代德语基本...
长腿叔叔-小书虫读经典-032-全译本 本书特色《长腿叔叔》是美国作家简韦伯斯特创作于1912年的脍炙人口的名著,是一部书信体小说,全书以81封信构成。讲述的是...
新韩国语能力考试TOPIKⅠ中高级词汇手写体临摹字帖 本书特色《新韩国语能力考试TOPIKⅠ初级词汇手写体临摹字帖》参考TOPIK官网给出的单词大纲和历年真题,...
译考通大学英语四级真题解析 本书特色还原考境 真实体验考试流程 地道范文 外教执笔翻译写作 **词汇 便携手册随时记忆 专项训练 听写读译逐项击破 译考通...
畅谈世界500强英文读天下-(超值馈赠MP3光盘一张) 本书特色 《英文读天下》将您阅读的视野拓展到无限宽度、无限广度、无限深度!它将带您博采全球趣事,纵览天下...