《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《R语言游戏数据分析与挖掘》内容简介:随着大数据的概念越来越流行,越来越多的企业开始重视数据,期待从数据中寻找有价值的结论,
《孟浩然集》内容简介:孟浩然是盛唐杰出诗人,创作了大量的山水田园诗,风格清淡旷远,与王维并称,是盛唐山水田园诗派的代表人物
《股民的眼泪》内容简介:股市惨淡,跌跌不休,不少股民暗自垂泪,究竟如何避开股市的地雷? 张化桥继续敢言作风,在新作中大胆揭示
《上海工业旅游发展研究》内容简介:本书主要阐述上海工业旅游发展从无到有,从微观走向宏观的核心要素,以及这些要素之间的相互作
《减肥侠》内容简介:在追求身材的道路上,熊顿从一开始盲目到发现适合自己的低成本、健康安全方法,也在过程中树立了坚持的信心,
《珠宝首饰设计手册》内容简介:这是一本全面介绍珠宝首饰设计的图书,特点是知识易懂、案例趣味、动手实践、发散思维。本书从学习
WebDesignInspirationataGlanceVolume2ofTheWebDesignersIdeaBookincludesmorethan650...
《讲述中国历史》内容简介:这是一部美国历史学家魏斐德从全球范围来解析中国历史的著作,堪称其40年中国史研究集大成之作!内容涵
妙笔生花Photoshop CS4完全精通-(附赠光盘) 本书特色 本书采用“基本操作知识+实践应用案例”的教学方式,以通俗易懂的语言、精挑细选的实用技巧以及翔...
Withthesecondeditionofthispopularbook,youlllearnhowtobuildHTML5andCSS3-basedapps...
《北海道漫步》内容简介:作为近年来热门的旅行目的地,北海道以其独特的自然风貌及冰雪景观吸引着世界各地的旅行者。本书从北海道
这是一本关于sqlite起源、特性、简介、使用、深度解析的书。《sqlite权威指南(第二版)》首先从sqlite最初起源、特性、设计理念
有人说Google让我们变得更笨,有人说Facebook出卖了我们的隐私,有人说Twitter将我们的注意力碎片化。在你担忧这些社会化媒体让我
《向NASA学工程师文化》内容简介:太空探索既是一个关于探索和发现的故事,也是一个关于领导力和团队合作的故事。本书深入探讨了NA
建筑结构CAD应用基础(第二版)(高等学校土木工程专业规划教材) A3604 目录 第1章 土木工程结构CAD及应用概况1.1 工程结构CAD的发展历史1.2 ...
创意字体与标志设计 本书特色 创意字体作为视觉信息传达的一部分,在大众传媒、企业形象、商品包装、橱窗及店面设计等方面,显示出越来越重要的作用。在字体的设计中,有...
《你有梦想,就有力量》内容简介:《你有梦想,就有力量——潘石屹给年轻人的十二堂人生经营课》从潘石屹公开发表的演讲和著述中选
《图解轻松分娩、坐月子》内容简介:面对分娩和坐月子,这两件女性生命中的“大事件”,喜悦与焦虑交织。如何能减轻分娩和痛苦,顺
情感计算与情感机器人系统 本书特色 《情感计算与情感机器人系统》在介绍情感计算、情感建模以及人机情感交互概念的基础上,分析了当前人机情感交互的研究前沿,总结了在...
WiththehelpoftheInternetandaccompanyingtools,creatingandpublishingonlinemapshasb...