本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。JohnE.Hopcroft,在斯坦福大学获得博士学位,现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得
《高等数学导论.上册(第2版)》内容简介:本“导论”是中国科学技术大学非数学专业通用的讲义,是在40年的使用过程中,经过不断的修订、充实而成的。与同类书相比,其广度有所拓宽,论证定理、公式逻辑严谨,编排内容循序渐进,阐述概念联系实际,深入浅出。为加深对概念、定理等的理解和掌握,书中编有丰富的例题,以及习题和总复习题。本“导论”分三册出版。本册讲述单变量函数微积分,中册讲述空间解析几何、
30年来,动力系统的数学理论与应用有了很大发展。30多年前还没有高速的台式计算机和计算机图像,“混沌”一词也没有在数学界使用,而对于微分方程与动力系统的研究兴趣主要仅限于数学界中比较小的范围。到今天,处处有计算机,求微分方程近似解的软件包已得到广泛运用,使人们从图形中就能看到结果。对于非线性微分方程的分析已为广大学者所接受,一些复杂的动力学行为,如马蹄映射、同宿轨、Lorenz系统中揭示出来的复杂
《复分析导论(第1卷)·单复变函数(第4版)》文字叙述极具特色,素材丰富,内容包括全纯函数及其性质、解析延拓、几何理论的基础、解析方法、调和与次调和函数等。《复分析导论(第1卷)·单复变函数(第4版)》可供高等学校数学、物理、力学及相关专业的本科生、研究生、教师,以及相关领域的研究人员参考使用。复分析是研究复函数,特别是亚纯函数和复解析函数的数学理论,其应用领域极为广泛,在其他数学分支和物
自从20世纪60年代以来,高维复分析领域有了迅速发展。这个领域中的新老结果在分析、微分几何和代数几何方面得到了大量应用,特别是在当代数学物理中的应用。掌握高维复分析的基础对许多现代数学领域中的专家来说已经成为了必需。本书根据作者在莫斯科大学讲授的讲义编写而成,是一本学习高维复分析很好的入门教材。本书是《复分析导论》(第一卷)的后续篇,某些在第一卷中提及的思想均可在本卷相应部分中换到。第二卷内容包括