本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
“本书内容严密、完整、一致,很好地介绍了逻辑实践……”
——douglas cannon,华盛顿大学
“这本书写作思路清晰缜密。我采用这本书作为教材的原因是,它详细且严密地讲述了谓词演算,详细且极好地讨论了不完备性现象,并且采用伯克利学派开发的标准记号。”
——karel prikr,明尼苏达大学
“本书数学上非常严格,而且示例比其他图书都丰富。因此我已经决定将本书用作教材。”
——sun-joo shin,圣母大学
本书是数理逻辑方面的经典教材,以可读性强而著称,在美国大学中采用率极高,麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活,增加了与计算机科学相关的主题(比如有限模型),还增加了一些示例和阐释文字,更适合本科生和研究生数理逻辑课程使用。
《数理逻辑》(英文版第2版)是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。《数理逻辑》(英文版第2版)特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选《数理逻辑》(英文版第2版)的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。
Herbert B.Enderton 哈佛大学博士,师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材Elements of Set Theory和Linear Algebra。
网络安全 本书特色 本书围绕网络安全展开,全书共9章,第1章介绍网络安全的基本概念,对网络安全问题进行综述; 第2章介绍常见的网络攻击技术,重点讲解各种攻击的原...
学生英汉词典-插图本 本书特色 本词典是为适应广大中小学生需要而编写的一部学习型英汉词典,力求通过生动活泼的形式和通俗易懂的讲解,帮助学生解决疑难问题、培养学习...
诺贝尔获奖大师演讲全集祷梦空间-MP3 INSIDE 本书特色 《诺贝尔获奖大师演讲全集:祷梦空间》分四大章节,分别从不同层面阐述了有关大师们的梦想的话题,叱咤...
奥数教程四年级(第7版)/奥数教程 本书特色 “奥数教程”丛书由王元院士担任顾问,数学奥林匹克国家队领队单墫和熊斌教授任主编,由国家集训...
王尔德童话集 内容简介 王尔德以一颗纯美纯善的童心和卓绝的才智写下了这部童话集里的童话,这些童话是世界文学宝库中的传世佳作。这部童话集包括《快乐王子》《夜莺与玫...
复活-国民阅读经典-全译本 本书特色 列夫·尼古拉耶维奇·托尔斯泰是19世纪中期俄国批判现实主义作家、文学家、思想家、哲学家。《复活》是列夫·托尔斯泰的晚年作品...
金融市场与金融机构(第8版) 本书特色 本书是美国多所著名大学商学院共同选用的系统介绍金融市场与金融机构运作机制的畅销著作,也是一本实用的工具手册。本书通过建立...
简爱-插图典藏本 本书特色 此版本为国内著名翻译家宋兆霖先生译本,权威经典装帧考虑到收藏价值,所以也选用了精装本书中配了很多插画,增加了全书的可看性超值必买,此...
俄语惯用语手册 本书特色 “俄语惯用语”是口语中经常使用的、在意义上整体化和抽象化了的、相当于词的固定词组。它在修辞上起着单词不可替代的重要作用。它可以使语言丰...
新视野大学英语(第三版)读写教程.2 内容简介 《新视野大学英语读写教程2(第3版)》遵循分类指导、因材施教的教学原则,通过多种途径为个性化教学提供支持。教材还...
百日搞定高考词汇-下册 本书特色 北京新东方学校高考英语词汇王牌讲师王棽倾情奉献:*精准的词汇筛选,*权威的高频词讲解,*有效的单词记忆方法,*合理的时间安排。...
雾都孤儿 本书特色 《雾都孤儿》是狄更斯的**部伟大的社会小说,在世界文学史上占有重要位置。小说以雾都伦敦为背景,讲述了一个孤儿悲惨的身世及遭遇,主人公...
呼兰河传-窦桂梅与你共读名著 本书特色 《呼兰河传》是萧红在现代文学史上极负盛名的代表作品。在这本书里,萧红以儿童纯真烂漫的视角追忆往昔,描绘出了呼兰河城如诗如...
语文-四年级下-RJ版-倍速学习法-全彩版 本书特色 《倍速学习法》就是这样一本全面综合的讲解辅导书,系统梳理课本知识,让孩子预习、自学有方向;深度剖析课文内...
GRE词汇精选 本书特色 涵盖绝大部分类比、反义、填空、阅读单词对已重点考过的类比、反义词标上*标记配有标准美音MP3/磁带帮助记忆。本书先后改七次,收录了直至...
青少年我爱读经典作品:学会在谈话中尊重别人 内容简介 本书分为故乡情怀、求学岁月、青涩恋情、喜怒哀乐、文学影视、文化杂谈。主要内容包括:红薯·面包;我的平凡父母...
汉语写作学探微 本书特色 《汉语写作学探微》:至今关于汉语写作的界定不止一端有人认为它是一种形式是为了准确表达一定内容而发展起来的多样化的方式有人认为它是一种能...
小学生一看就懂一学就会的语文学习窍门书 本书特色 1.有趣实用的学习方法书。这套书形式比较新颖,由校园故事开篇,提出小学生在英语学习过程中的常见问题,总结英语学...
立人读书沙龙(2015年卷) 内容简介 本书是吉首大学校园文化品牌活动“立人读书沙龙”文章精选集, 共收入读书沙龙活动开展一年来的嘉宾讲座整理稿10篇, 以及部...
《遇见中国服饰艺术》内容简介:本书是“遇见艺术”系列中的一册,书中按照时代的主线,阐述从先秦至近现代不同时期的服装款式特征