本书为“十二五”普通高等教育本科国家级规划教材,是《中国科学技术大学数学教学丛书》之一。主要介绍在应用中经常遇到的几种基本随机过程,如Poisson过程、更新过程、Markov过程、平稳过程、Brown运动、Ito微分公式、线性随机微分方程,以及鞅过程和停时。全书材料丰富,每章结合大量有实际背景的例子来解释基本概念,并配有一定量的习题。
《动力系统引论》对动力系统作了全面的介绍,适合研究生一学期或两学期的课程。在第1章作者引入了11个例子,然后全书利用这些例子启发并阐明这个理论的发展。主题包括拓扑动力学、符号动力学、遍历理论、双曲动力学、一维动力学、复动力学以及测度论熵。作者以动力系统在诸如数论、数据存储以及互联网搜索引擎等领域的精彩应用完成阐述。 《动力系统引论》的前身是作者在马里兰大学帕克分校讲授动力系统研究生课程的讲义,它不仅反映了作者的品味,而且在一定程度上搜集了马里兰大学动力系统小组的观点,事实上《动力系统引论》也包含了动力系统各个主要领域的专家的意见。
本书给出了几个著名悖论特别是说谎者悖论的解答。作为预备,讨论了悖论的由来和机理,特别是悖论与反证法的关系。
本书主要讲述了数学归纳法在数学竞赛解题中的应用。全书共分为10章,前8章涉及函数与函数方程、不等式、数列与递归关系、数论和组合数学等方面的问题,所汇集的问题均给出了利用数学归纳法解题的翔实解法。 本书适合参加数学竞赛的学生、奥数教练及数学爱好者参考使用。
数理逻辑是离散数学的重要组成部分之一,是计算机科学的数学基础。《数理逻辑引论(修订版)》内容主要侧重于逻辑演算,即命题逻辑演算和一阶谓词逻辑演算,这些内容是构成数理逻辑其他分支的共同基础。全书共分5章,分别介绍了数理逻辑的研究对象、研究内容和研究方法;命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理;一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。 《数理逻辑引论(修订版)》可用作高等院校计算机专业离散数学的教材或教学参考书,也可供从事计算机科学、人工智能方面的科技人员参考。
本书依据 制定的《高职高专教育高等数学课程教学基本要求》以及2020年 印发的《高等学校课程思政建设指导纲要》编写而成。 本书汲取了部分一线优秀教师在实际教学中的教改成果和 外同类教材的优点, 强调知识点引入的实际背景,突出知识的应用,以及在知识传授中实现价值 。全书内容主要分为两大模块——基础模块和选修模块,其中基础模块包括函数、极限与连续,导数及其应用,积分及其应用三章,选修模块包括多元函数微积分与无穷级数两章。每章配有课程同步习题和复习题,题型丰富、题量大,便于学生自主训练。书中还编写了部分数学史和数学应用性阅读材料,以构建课程完整的知识体系。 本书可作为三年制高职高专、成人高等学历教育的数学教材,也可作为专转本学生自学的参考教材。