本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
《服务的细节:让顾客爱上店铺2•三宅一生》主要讲述了三宅一生不仅仅是在日本具备绝对实力的时尚集团,在全世界也是享有盛名的品牌
《世界航空发动机手册》共分为4个部分。主体部分有:涡轮风扇发动机、涡轮喷气发动机、涡轮轴/涡轮螺旋桨发动机、桨扇发动机、活
该书系统的介绍了信息设计——这一新兴知识,收录了300多张高清图片。以及荷兰、意大利、日本、中国、英国的信息设计师访谈。会让
MichaelGoodrichandRobertoTamassia,authorsofthesuccessful,DataStructuresandAlgori...
Ifyouwanttolearnhowtobuildthingswithelectronics,getaholdofthishands-onbook.Witht...
《单读16:新北京人》内容简介:“必须要有一个开始写作的起点。一个地方。”——舍伍德·安德森 “你需要想象北京,北京会满足你的
《微店+营销,你该这样玩》内容简介:微商,诞生于2009年,2014年开始被大家所熟知。微店的各种操作、功能都属于基础知识,是每个微
《法国通史》内容简介:本书系《世界历史文化丛书》之一种书。法兰西人的习性经久不变,以至于在两三千年前人们为其勾画的肖像中,
《智慧银行——未来银行服务新模式》内容简介:随着新一代信息科学技术的迅速发展和广泛应用,各行业正在面临重大变革,酝酿新的突
《中国海洋油气开发装备研发史》内容简介:本书是“中国船舶研发史”丛书之一,主要介绍了我国典型海洋油气开发装备的研发背景、设
《CUDA C编程权威指南》内容简介:本书主要介绍了如何使用GPU和利用CUDAC语言对其进行编程的。首先从基本的CUDA概念及结构讲起,一
《5G+智能网联汽车》内容简介:作为未来产业发展的战略制高点,智能网联汽车正在成为移动储能单元和数字空间,将会带动能源、交通、
Accomplishedauthors,Preece,RogersandSharp,havewrittenakeynewtextbookonthiscoresu...
《Mentor高速电路板设计与仿真》以MentorEE2005SP3为基础,以具体电路为范例,详尽讲解元器件建库、原理图设计、布局、布线、仿真
《电子商务发展与乡村振兴战略:以西藏地区为例》内容简介:优先发展农业农村,全面推进乡村振兴,走中国特色社会主义乡村振兴道路
《给孩子的趣味唐诗课:四季篇》内容简介:《中国诗词大会》评委蒙曼老师为孩子量身打造的漫画唐诗课 读起来有趣、学起来零压力、背
《从0到1教你做微商》内容简介:本书记录了微商行业的萌芽与发展,用微商领域大量的实际操作案例来举例,让读者更清晰地认知微商这
《5GtoB如何使能千行百业》内容简介:5G与云、智能、计算、行业应用等技术相结合,将不断地打破传统行业边界,创造丰富多彩的行业应
《控制阀设计及先进制造技术》内容简介:控制阀是过程自动化装置中极为重要的设备之一,是流程工业自动控制系统的执行器,流程控制
《React Native开发指南(第2版)》内容简介:本书通过丰富的示例和详细的讲解,介绍了React Native这款JavaScript框架。在React...