本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
《MakingIt:設計師一定要懂的產品製造知識》***美國知名設計公司IDEO的總裁TimBrown說:『MakingIt,對於設計師來說,是本無價
每一位阅读“科学时代”――《纽约时报》每周增刊的读者都关注着科学的最新发展。此刊最为广大读者所喜闻乐见的特色专栏是由Nata
《C++程序设计语言》介绍了标准C++以及由C++所支持的关键性编程技术和设计技术。标准C++较以前的版本功能更强大,其中许多新的语
全套上、下两册,浓缩2006年电脑报精华文章。附录包含70余篇简明IT应用指南,覆盖软件、硬盘、数码、网络四大领域。配赠权威实用
单片机实验与实践教程(一)(第2版) 内容简介 本书为《单片机系列教程》之一,较之第1版,在原用汇编语言编程的实验参考程序中,增加了部分C语言编程,使内容更加完...
在不同文化中,地球内部都是地下世界、死之国度及地狱的象征。黑暗的地球内部会令人心生恐惧,并且很容易联想到死亡。尽管如此,
这是一本版式设计参考书,其中的“经典”二字不仅是所涉及图书年代久远,冠之名为字面上的经典,而且还因其在设计界广为人知、包
《互联网法律实务指南》内容简介:本书是由浙江省律师协会组织全省互联网专业律师编写的实用型书籍,内容涉及互联网准入和运营、电
全球第一本Docker技术图书中文版,Docker中文社区鼎力支持!Docker核心团队成员权威著作,在技术圈中很有影响力。既是第一本Dock
《小顾聊绘画(壹)》内容简介:梵高、莫奈等9位艺术大家的人生长廊,高清原彩画作,妙趣横生的艺术解读! 艺术没有那么高不可攀!
《第三类聚居:城乡一元生命体研究》内容简介:本书以全新视域,对自然界的自相似性、聚居性等基本规律以及牛顿自然哲学的数学原理
本书作者多年致力于艺术、设计的教学,并在自学软件的过程中获得启示,每个单元均以美学角色切入,再引导实际操作,通过作品来呈
《文化传播与文化建构》内容简介:《文化传播与文化建构》为《世界历史评论》丛书第2辑,分为“专论”“评论”“专题论坛”和“文献
此書為華文世界第一本柳宗理入門,介紹柳宗理最著名的三大設計產品:蝴蝶椅、餐具及象腳椅,剖析其十大設計理念,請到深澤直人、
《第三种创新》的作者罗伯托•维甘提是创新管理权威专家,米兰理工大学管理学院与设计学院教授,关于意大利设计管理的研究荣获意
《SEO流量狙击:搜索优化面面观》内容简介:本书站在企业的立场,以效果为导向,通过浅显易懂的叙述方式,从营销型网站定位及策划开
《设计新视线》内容简介:本书以设计工作流程为导向,将理论分析和项目实践相结合,讲解平面设计师必须掌握的设计实操技能,是平面
多尺度图像融合理论与方法 本书特色 多尺度图像融合是图像融合中的一种主流技术,本书作者在多领域探讨了这种理论与方法的应用前景,值得关注。多尺度图像融合理论与方法...
《微机原理及应用》是教育科学“十五”国家规划课题研究成果。全书共13章,包括:基础知识,微型计算机概论,8086/8088指令系统与
网络共和国 本书特色 东方编译所译丛。 科技的发展越来越展现出双刃剑的特征,凯斯·桑斯坦在本书中即探讨了网络对个人行为以及整个社会的影响:信息随时获取同时带来“...