本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。JohnE.Hopcroft,在斯坦福大学获得博士学位,现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得
1934年9月生,天津宝坻人,1959年9月加入中国共产党,1951年7月参加工作,北京建工业余学院工业与民用建筑专业毕业。1951年至65年在北京第三建筑公司当工人(其间:1958年至1963年在北京建工业余学院工业与民用建筑专业学习)。1965年至1966年任北京建筑材料供应公司党委副书记兼北京建筑木材厂党总支部书记。1966年至1971年在“文化大革命”中受迫害。1971年至72年任
目录一、Typora软件的下载与使用(1)、软件下载(2)、markdown语法二、编程与编程语言(1)、什么是语言(2)、什么是编程(3)、什么是编程语言三、计算机本质四、计算机五大组成部分(1)、
《燃气:蒸汽联合循环电站热力性能分析理论与计算》融会贯通近年来国内外热能动力工程领域多位大家的理论著作内容,加入作者研究工作的成果,力求理论体系完备,物理概念清晰,辩证分析深入,计算方法实用。全书分为10章,主要内容包括:电站热力学循环、热力循环性能的评价、提高电站热力循环性能的途径等基础知识;燃气轮机理想循环、实际循环、简单循环、复杂循环、多轴燃气轮机循环和燃气轮机复合循环的基本概念;蒸
本书曾是美国麻省理工学院计算机科学专业的入门课程教材之一,从理论上讲解计算机程序的创建、执行和研究。主要内容包括:构造过程抽象,构造数据抽象,模块化、对象和状态,元语言抽象,寄存器机器里的计算等。HaroldAbelson是MIT1992年度MacVicarFacultyFellow。在MIT电子工程和计算机科学系工作,得到过重要的计算机科学教育奖——IEEE计算机学会的B
《计算机算法设计与分析(第3版)》为普通高等教育“十一五”国家级规划教材,是计算机专业核心课程“算法设计与分析”教材。全书以算法设计策略为知识单元,系统介绍计算机算法的设计方法与分析技巧。主要内容包括:算法概述、递归与分治策略、动态规划、贪心算法、回溯法、分支限界法、随机化算法、线性规划与网络流、NP完全性理论与近似算法等。书中既涉及经典与实用算法及实例分析,又包括算法热点领域追踪。为突出