《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《稻草人》内容简介:本书为叶圣陶童话和散文合集,笔调抒情,风格唯美。美丽的童话想象力丰富,笔触清新,故事简单而寓意深刻,充
《中国历史人物(英文版)》内容简介:了解一个国家,必先了解此国的人。在本书中,你将一览中国历史长河,认识曾在哲学、艺术、文
《工具,还是武器?》内容简介:当下,科技正处于大迸发时代。新技术的开发、大数据的使用、人工智能的探索等,为人类提供了各种各
《明代文学思想史(全二册)》内容简介:《明代文学思想史》是对整个明代的文学思想进行系统阐述的专著。明代是一个文学思想相当活
多位巴黎手作创意人专为这本书提供了原创手工作品的制作方法及步骤,将私房小店与读者亲密分享。这本书里的创意人,多有颇具规模
《超越财务报告内部控制:中国经验》内容简介:本书在梳理与比较中美两国企业内部控制目标导向的历史演进过程、理论探讨不同目标导
《历史学家的经线》内容简介:孙隆基先生在本书中用自己独特方式对中国近代政治史和思想史上核心的辛亥革命、五四运动、鲁迅问题、
Asthefirstbooktosharethenecessaryalgorithmsforcreatingcodetoexperimentwithdesign...
《世界前沿技术发展报告2007》详细介绍了2007年世界前沿技术的重大进展和发展动向,详细阐述了若干国家科技发展的重要战略和总署
《掌握分布式跟踪:微服务和复杂系统性能分析》内容简介:本书是作者基于其在Uber跟踪团队担任技术主管时的个人经历而写的。本书分
清晰、透彻和严谨是本书与其他数字通信教材的显著区别。本书由国际公认的专家和屡获殊荣的学者编写,是数字通信领域的基础性教材
《ASP.NETMVC1.0高级编程》内容简介:ASP.NETMVC架构是以一些核心原则(可扩展性、可测试性和关注点分离)为指导从头设计而成的。
《城镇化:改革的突破口》内容简介:本书从改革全局出发,着眼于实现国家治理体系和治理能力现代化的改革目标,提出以城镇化作为重
《产品设计手绘技法》被当代设计大师卢吉•科拉尼(LuigiColani)誉为史上最好的手绘技法图书,续作《产品手绘与创意表达》持续热
Thisbookisaboutimplementations,notlanguages,itwillmakenoattempttoextolthevirtues...
《墙垣边的人类》内容简介:建筑说到底是一种文化,是构成人类文明的一个重要组成部分。本书熔建筑艺术、文化学、史学、哲学和心理
《素手调水——茶艺茶道》内容简介:1.从茶品出发,逐渐展开了茶艺、茶道的描述。茶品中包含了茶树的生长环境和茶叶的分类以及加工
支持向量机鲁棒性模型与算法研究 本书特色 支持向量机是基于统计学习理论,以结构风险*小化为原则的一种针对小样本情况的新型机器学习方法,具有结构简单、全局*解和泛...
《日本对中国东北的殖民统治》内容简介:九一八事变后,日本在中国东北地区扶植伪满政权,并以之为工具,把东北地区的政治、经济、
《小学主题式综合活动课程案例选编》内容简介:本书是上海市开展小学主题式综合活动课程研究和实施工作以来汇总的首个学校案例集。