本书系统地介绍了图论算法理论,并选取经典的ACM/ICPC题目为例题阐述图论算法思想,侧重于图论算法的程序实现及应用。本书第1章介绍图的基本概念和图的两种存储表示方法:邻接矩阵和邻接表。第2~9章分别讨论图的遍历与活动网络问题,树与图的生成树,最短路径问题,可行遍性问题,网络流问题,支配集、覆盖集、独立集与匹配,图的连
测度论是研究一般集合上的测度和积分的理论,近年来在现代分析的应用中已显示出极大的潜力.作为测度论中的“圣经”,本书的主要目的是对测度论进行统一的介绍,内容有:集合与集类、测度与外测度、测度的扩张、可测函数、积分、一般集函数、乘积空间、变换与函数、概率、局部紧空间、哈尔测度、群的测度和拓扑.
数里有形——突破代数综合问题
方圆同趣——突破圆的综合问题
牵线搭桥——突破几何综合问题
有迹可循——突破新定义问题
线性代数学习指导(普通高等学校应用型教材·数学)
本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分
本书在讲授了随机微分方程、随机反应扩散方程、随机Navier-Stokes方程和带切换的随机微分方程解的存在**性和正则性的基础上,系统地讲授了加性噪声和乘性噪声驱动的随机发展方程的适定性及正则性,总结了Hilbert空间和Banach空间中随机发展方程遍历性证明方法,简要讲述随机动力系统的Wong-Zakai逼近及随
全书分上下两册,共5篇,分为17章。力学篇包括物质的运动描述、质点动力学、质点系动力学与刚体运动、相对论简介、流体力学基础;振动与光学基础篇包括机械振动与机械波、波动光学、应用光学基础;热学篇包括气体动理论、热力学基础、物质状态和相变;电磁学篇包括静电场、恒定磁场、电磁感应;近现代物理篇包括量子物理基础、激光技术简介、