《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
MembersoftheHarvardNegotiationProject--whichbroughtyouthemega-bestsellerGettingt...
《Hadoop实战》作为云计算所青睐的分布式架构,Hadoop是一个用Java语言实现的软件框架,在由大量计算机组成的集群中运行海量数据
《聊将锦瑟记流年 : 黄仲则诗传》内容简介:是古典诗词赏析第一人安意如,三年心血写著。33万精辟文字,凝聚十年诗词赏读所成,首度
《Angular从零到一》内容简介:作为一个出生于20世纪70年代的大叔,我在软件这个领域已经摸爬滚打了16年,从程序员、项目经理、产品
电子游戏中也存在“看不见的手”吗?玩虚拟游戏能够创造真实价值吗?为什么现实世界需要虚拟经济?经济学作为一门成熟的学科,起
《产品三观》内容简介:今天,无论是实体产品还是互联网产品,打动用户都变得越来越难。作为洛可可创新设计集团、洛客设计平台创始
Oracle程序设计实训教程 本书特色 本书内容深入浅出、概念清楚、实例丰富,有助于Oracle初学者快速掌握Oracle及PL/SQL程序设计方法。本书可作为...
《搜索模式》内容简介:本书是信息架构领域创始人彼得·莫维里的又一力作,全书详尽剖析了10种搜索模式,告诉读者如何为不同情境设
《亮剑.NET:SharePointServer2007开发实战》共分为8章,详细讲解了SharePoint上常见的开发任务,讲述了各种开发场景下需要了解的
《高等教育评论(2017年第1期 第5卷)》内容简介:本书致力于学术前沿研究,为国内外教育界同仁创造一个宽松活跃的学术空间,为推动
《JSF第一步:JSF+Spring+Hibernate+AJAX编程》讲述JSF是表示层框架的标准,Hibernate是一个比较完善的对象关系映射工具,Spr...
《别害怕糖尿病》内容简介:《别害怕糖尿病》收集了作者在临床实践中与患者沟通时的常见问题。从糖尿病的诊断谈到治疗,从“三分治
Informationretrievalisasub-fieldofcomputersciencethatdealswiththeautomatedstorag...
《当代西方政治哲学》内容简介:本书理论前沿、理路清晰,学术性较强,文风朴实,以当代西方最著名的八位政治哲学家的政治哲学理论
SolidWorks快速入门教程 本书特色 本书是学习SolidWorks2016中文版的快速入门与提高教程,内容包括SolidWorks2016功能概述、软件...
《超300款系列:吃不胖的下饭菜》内容简介:发胖并不是源于吃多了,关键在于怎么吃,吃什么。有些可口美味的下饭菜吃了真的不会发胖
《Vue企业开发实战》内容简介:本书以Vue.js 2为基础,以项目实战的方式引导读者渐进式学习Vue.js框架。本书分为项目起步、Vue.js介
《结构思考力Ⅱ》内容简介:本书是有关结构思维的,由李忠秋老师亲自执笔,结构思考力系列丛书之一。它告诉我们只要在清晰思考的基
《鉴知录》内容简介:《鉴知录》是一部读史随笔集。顾名思义,读《资治通鉴》,是为了鉴往知来。作者起于基层,富有实际工作经验。
《Spring2企业应用开发》是一部权威的实战指南,由Spring开发团队撰写,全面讲述了Spring2企业应用开发。主要涵盖SpringFramewor