本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
3DSMAX/VRAY印象效果图灯光与色彩的表现附光盘 本书特色 《3ds Max/VRay 印象效果图灯光与色彩的表现》适合有一定基础的3ds Max和VRa...
《老南京》内容简介:这是一本全面讲述老南京秦淮胜迹、古寺陵墓、市井文化、百姓生活的图书。全书从亲历亲睹的角度,分别描绘了老
社会网络分析方法与实践 本书特色 特别推荐:《数据分析:企业的贤内助》 本书是社会网络分析领域的经典图书,基础理论与实践完美结合,是一部逻辑紧密、内容详...
微型计算机系统原理及应用[第5版] 内容简介 本书是《微型计算机系统原理及应用》的第五版。本版本根据微处理器的*新发展,从80x86系列微处理器整体着眼,落实到...
《Android4高级编程(第3版)》由Android权威专家编写,涵盖了所有最新的内容,是学习使用Android4SDK开发移动应用程序的理想指南。
庄雅婷领衔“文艺加萌研究所”策划推出的国内第一套快乐开店指南+逛店秘笈分享。本辑“有胆有脑”主题,精选近30家国内成功店铺,
《我为什么自己的书一本没写》内容简介:一本挑战悖论的不可能之书。乌力波文学经典。法国黑色幽默文学大奖获奖作品。幽默解剖写作
BarkersFutureEdge,publishedin1992andlaterrepublishedasParadigms,gottractionasabu...
RubyonRailsisthesuper-productivenewwaytodevelopfull-featuredwebapplications.With...
文本大数据情感分析 本书特色 借助人工智能相关技术,帮助人们方便、高效地利用网络大数据信息,已成为当前IT业的研究热点之一。本书介绍社交网络等海量异构信息采集算...
《春水集》内容简介:《春水集》是作者从事博物馆工作以来的学术散文集,主要内容为清代、民国以来学林掌故以及著名学人的生平、往
《唐宋词选》内容简介:著名学者王国维说“一代有一代之文学”,词作为文学样式之一,唐宋两代是词的创作*繁荣的时代。本书则是对唐
全书用5章来介绍Axure软件的使用方法,包括Axure的介绍及安装、Axure的窗口及常用部件、交互事件及动作,以及实战交互案和整站案
JOSHUABLOCH是Google的首席工程师,以及获得过Jolt最畅销奖的《高效Java编程语言指南(EffectiveJavaProgrammingLan...
《Office 2010办公自动化培训教程》内容简介:本书以Office 2010版本为基础,结合实际工作中各种办公文档的制作,系统地讲述了Offi
《网络安全之机器学习》内容简介:本书将介绍网络安全威胁生命周期的主要阶段,详细介绍如何为现有的网络安全产品实现智能解决方案
《都市 漫游 成长(英文版)》内容简介:《都市 漫游 成长:E·L·多克托罗小说中的“小小都市漫游者”研究(英文版)》以美国后现
本书由微软MVP编写,是ASP.NET领域一本重要的技巧类图书,提供了很多鲜为人知的优秀解决方案、未正式发布的特性、提示和技巧,可
《Hadoop技术内幕》内容简介:本书由腾讯数据平台的资深Hadoop专家、X-RIME的作者亲自执笔,对Common和HDFS的源代码进行了分析,旨
全球第一本Docker技术图书中文版,Docker中文社区鼎力支持!Docker核心团队成员权威著作,在技术圈中很有影响力。既是第一本Dock