自动机理论、语言和计算导论(原书第3版)
自动机理论、语言和计算导论(原书第3版)

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材,是三位理论计算大师的巅峰之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。JohnE.Hopcroft,在斯坦福大学获得博士学位,现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得

元数学导论(上)
元数学导论(上)

本书是数理逻辑方面的一本名著,既概括了数学基础的主要内容,也概括了这方面所产生的若干基本方向.本书为数理逻辑和递归函数论提供一个有系统的导论,也为更新的数学基础的探讨提供一个有系统的导论.本书可供高等学校数学系师生以及有关研究人员参考.

自然演绎逻辑导论
自然演绎逻辑导论

本书的第一版没有包括对元理论的讨论,第二版则增加了部分元理论即关于命题逻辑的元理论,而没有包括谓词逻辑和模态逻辑的元理论。关于命题逻辑元理论的讨论并非紧跟命题逻辑的章节之后,而是放在谓词逻辑和模态逻辑的章节之后。因为本书作为逻辑导论教材,并不要求读者对元理论有一个全面的把握,而只是为了给出一个范例,让读者通过此范例而对现代符号逻辑的一个基本特征有所了解,这个基本特征是将语法和语义严格区分开来的。在

高等数学导论(上册)
高等数学导论(上册)

《高等数学导论.上册(第2版)》内容简介:本“导论”是中国科学技术大学非数学专业通用的讲义,是在40年的使用过程中,经过不断的修订、充实而成的。与同类书相比,其广度有所拓宽,论证定理、公式逻辑严谨,编排内容循序渐进,阐述概念联系实际,深入浅出。为加深对概念、定理等的理解和掌握,书中编有丰富的例题,以及习题和总复习题。本“导论”分三册出版。本册讲述单变量函数微积分,中册讲述空间解析几何、

微分方程动态系统和混沌导论
微分方程动态系统和混沌导论

30年来,动力系统的数学理论与应用有了很大发展。30多年前还没有高速的台式计算机和计算机图像,“混沌”一词也没有在数学界使用,而对于微分方程与动力系统的研究兴趣主要仅限于数学界中比较小的范围。到今天,处处有计算机,求微分方程近似解的软件包已得到广泛运用,使人们从图形中就能看到结果。对于非线性微分方程的分析已为广大学者所接受,一些复杂的动力学行为,如马蹄映射、同宿轨、Lorenz系统中揭示出来的复杂

随机过程导论
随机过程导论

本书是一本随机过程的优秀教材,不仅以浅显易懂的语言阐述基本概念和方法,而且通过一些非常基础的应用实例,让读者了解如何应用随机过程理论解决实际问题。主要内容包括有限马尔可夫链、可数马尔可夫链、连续时间马尔可夫链、最优停时、鞅、可逆马尔可夫链、布朗运动和随机积分等.本书侧重数学思想的分析而不是具体细节的理论证明,所需的数学基础只是本科程度的概率论和一些线性代数知识,而不需要读者有测度论的基础,

傅立叶分析导论
傅立叶分析导论

傅立叶分析导论,ISBN:9787510040559,作者:EliasM·Stein,RamiShakarchi著Stein在国际上享有盛誉,现任美国普林斯顿大学数学系教授。他是当代分析,特别是调和分析和分析领域领袖人物之一。古典调和分析最困难问题之一是推广到多维。他是多维欧氏调和分析的创造者之一,为此他发展了许多先进工具如奇异积分、Radon变换、极大函数等。他还发展了

数学思维导论
数学思维导论

许多大学新生都曾在从中学数学到大学数学的过渡过程中遇到过困难。他们突然发现自己要面对的似乎是一种全新的数学,被要求学会用一种不同于往的方式思考。同时,各行各业的从业者也越来越深刻地意识到,现如今,优秀的分析思维能力比以往任何时候都更加重要,而具备“数学思维技能”的人会在竞争中占据巨大优势。本书正是这样一本写给高中生、大学生以及所有希望提高分析思维能力者的数学思维入门书。它将教你学会像数学家

复分析导论(第一卷)
复分析导论(第一卷)

《复分析导论(第1卷)·单复变函数(第4版)》文字叙述极具特色,素材丰富,内容包括全纯函数及其性质、解析延拓、几何理论的基础、解析方法、调和与次调和函数等。《复分析导论(第1卷)·单复变函数(第4版)》可供高等学校数学、物理、力学及相关专业的本科生、研究生、教师,以及相关领域的研究人员参考使用。复分析是研究复函数,特别是亚纯函数和复解析函数的数学理论,其应用领域极为广泛,在其他数学分支和物

复几何导论
复几何导论

《复几何导论(英文版)》内容简介:Complexgeometryisahighlyattractivebranchofmodernmathematicsthathaswitnessedmanyyearsofactiveandsuccessfulresearchandthathasrecentlyobtainednewimpetusfromph

复分析导论(第二卷)
复分析导论(第二卷)

自从20世纪60年代以来,高维复分析领域有了迅速发展。这个领域中的新老结果在分析、微分几何和代数几何方面得到了大量应用,特别是在当代数学物理中的应用。掌握高维复分析的基础对许多现代数学领域中的专家来说已经成为了必需。本书根据作者在莫斯科大学讲授的讲义编写而成,是一本学习高维复分析很好的入门教材。本书是《复分析导论》(第一卷)的后续篇,某些在第一卷中提及的思想均可在本卷相应部分中换到。第二卷内容包括