本書系統(tǒng)地介紹了圖論算法理論，并選取經(jīng)典的ACM/ICPC題目為例題闡述圖論算法思想，側(cè)重于圖論算法的程序?qū)崿F(xiàn)及應(yīng)用。本書第1章介紹圖的基本概念和圖的兩種存儲(chǔ)表示方法：鄰接矩陣和鄰接表。第2～9章分別討論圖的遍歷與活動(dòng)網(wǎng)絡(luò)問題，樹與圖的生成樹，最短路徑問題，可行遍性問題，網(wǎng)絡(luò)流問題，支配集、覆蓋集、獨(dú)立集與匹配，圖的連

測度論是研究一般集合上的測度和積分的理論，近年來在現(xiàn)代分析的應(yīng)用中已顯示出極大的潛力．作為測度論中的“圣經(jīng)”，本書的主要目的是對(duì)測度論進(jìn)行統(tǒng)一的介紹，內(nèi)容有：集合與集類、測度與外測度、測度的擴(kuò)張、可測函數(shù)、積分、一般集函數(shù)、乘積空間、變換與函數(shù)、概率、局部緊空間、哈爾測度、群的測度和拓?fù)洌?/p>

數(shù)里有形——突破代數(shù)綜合問題

方圓同趣——突破圓的綜合問題

牽線搭橋——突破幾何綜合問題

有跡可循——突破新定義問題

線性代數(shù)學(xué)習(xí)指導(dǎo)（普通高等學(xué)校應(yīng)用型教材·數(shù)學(xué)）

本書利用交互式定理證明工具Coq,在樸素集合論的基礎(chǔ)上,從Peano五條公設(shè)出發(fā),完整實(shí)現(xiàn)Landau著名的《分析基礎(chǔ)》中實(shí)數(shù)理論的形式化系統(tǒng),包括對(duì)該專著中全部5個(gè)公設(shè)、73條定義和301個(gè)定理Coq描述,其中依次構(gòu)造了自然數(shù)、分?jǐn)?shù)、分割、實(shí)數(shù)和復(fù)數(shù),并建立了Dedekind實(shí)數(shù)完備性定理,從而迅速且自然地給出數(shù)學(xué)分

本書在講授了隨機(jī)微分方程、隨機(jī)反應(yīng)擴(kuò)散方程、隨機(jī)Navier-Stokes方程和帶切換的隨機(jī)微分方程解的存在**性和正則性的基礎(chǔ)上，系統(tǒng)地講授了加性噪聲和乘性噪聲驅(qū)動(dòng)的隨機(jī)發(fā)展方程的適定性及正則性，總結(jié)了Hilbert空間和Banach空間中隨機(jī)發(fā)展方程遍歷性證明方法，簡要講述隨機(jī)動(dòng)力系統(tǒng)的Wong-Zakai逼近及隨

本書全面介紹平面非光滑系統(tǒng)全局動(dòng)力學(xué)分析的Me1nikov方法及應(yīng)用。本書主要包括:平面非光滑系統(tǒng)同宿軌道和次諧軌道的Me1nikov方法，平面非光滑混合系統(tǒng)同宿軌道和異宿軌道的Me1nikov方法，平面雙邊剛性約束非線性碰撞系統(tǒng)全局動(dòng)力學(xué)的Me1nikov方法和平面非光滑振子的混沌抑制等。本書發(fā)展的解析分析方法具有幾