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