《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《博物馆窜行记》内容简介:本书收录了28篇腾讯·大家专栏作家顺受牵猴在欧美各博物馆窜行的所见所闻、所思所想。本书可以说是另类
《大道PHP:LAMP+Zend+开源框架整合开发与实战》以PHP应用程序开发为主题,对实践中必不可少的各项重要技术进行了全面介绍与系统
《门店合伙人》内容简介:对于传统的门店经营者来说,无论其做的是是直营店、加盟店还是其他连锁店,目前都面临招人难、留人难、业
★列为全球上百所大学标准教材和首席参考书!★图书馆必备典藏,作者MichaelL.Scott是计算机领域的著名学者,译者是北京大学的裘宗
《普通高等教育十一五国家级规划教材•模拟电子电路及技术基础》分两篇,共11章。第一篇(一~三章)以系统应用为出发点,介绍放大器
《明德学校史话》内容简介:本书依据宏富的史料,记述了明德学校艰苦卓绝的办学历程及其辉煌的办学业绩,展示了胡元倓等一批明德人
Adobe Illustrator CS5中文版经典教程 本书特色 adobe公司推出的权威经典教程畅销全球17年的著名品牌图书在全世界以27种语言火爆发行Ad...
我们大部分的经验都来自视觉,我们活得的几乎所有信息和知识也都来自视觉,我们所作出的判断和决定也所由视觉决定的,我们的娱乐
本书着重介绍现代密码学的加密思想及其实现方法,内容涉及数论、概率论、抽象代数、加密算法的思想及复杂度理论。本书介绍了密码
VB-MAPP语言行为里程碑评估及安置程序-(全2册) 本书特色 这套《语言行为里程碑及安置程序》为教育人员和家长对孤独症和其他发展性障碍孩子的学习、语言和社会...
《架构启示录》内容简介:本书研究传统的建筑工作与数字产品的架构工作之间有着怎样的联系,探讨了Christopher Alexander、Richard
笔记本电脑完全宝典 本书特色 本书采用环境教学法,版式新颖、美观实用,全程图解、快速上手,双色印刷、轻松阅读,书盘结合、互动教学。在内容的安排上,由浅入深、较有...
《梭罗密码》内容简介:《梭罗密码》是少年原野科幻探险系列的第六部,前四部《原野时空》《宝石幻镜》《怪物危机》《时间猎人》已
《中国基督教史纲》内容简介:《中国基督教史纲》是我国学者所撰的部也是影响优选的中国基督教通史或全史著作。《中国基督教史纲》
《诗歌课的25个瞬间》内容简介:本书立志于填补童诗教学的盲点,通过引进古诗做参照物,在生活中发现大量童诗写作的题材。此外,本
《Struts2技术内幕:深入解析Struts架构设计与实现原理》内容简介:《Struts2技术内幕:深入解析Struts2架构设计与实现原理》由国内
ItsOurResearchprovidesastrategicframeworkforpeoplewhopracticeUXresearchwhowishto...
《Kubernetes实战:构建生产级应用平台》内容简介:本书探讨了通往Kubernetes生产环境成功道路中所涉及的多种技术、模式和抽象方面
《崛起的中国数字经济(2018Number1)》内容简介:去中介化(Disintermediation)、分散化(Disaggregation)和非物质化(De...
Visual C++程序设计基础实训教程 内容简介 VisualC是当前计算机领域较流行的一种进行面向对象与可视化程序设计的工具,VisualC程序设计也是计算...