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

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

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

方圓同趣——突破圓的綜合問(wèn)題

牽線搭橋——突破幾何綜合問(wèn)題

有跡可循——突破新定義問(wèn)題

線性代數(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ā)展方程遍歷性證明方法，簡(jiǎn)要講述隨機(jī)動(dòng)力系統(tǒng)的Wong-Zakai逼近及隨

全書分上下兩冊(cè)，共5篇，分為17章。力學(xué)篇包括物質(zhì)的運(yùn)動(dòng)描述、質(zhì)點(diǎn)動(dòng)力學(xué)、質(zhì)點(diǎn)系動(dòng)力學(xué)與剛體運(yùn)動(dòng)、相對(duì)論簡(jiǎn)介、流體力學(xué)基礎(chǔ)；振動(dòng)與光學(xué)基礎(chǔ)篇包括機(jī)械振動(dòng)與機(jī)械波、波動(dòng)光學(xué)、應(yīng)用光學(xué)基礎(chǔ)；熱學(xué)篇包括氣體動(dòng)理論、熱力學(xué)基礎(chǔ)、物質(zhì)狀態(tài)和相變；電磁學(xué)篇包括靜電場(chǎng)、恒定磁場(chǎng)、電磁感應(yīng)；近現(xiàn)代物理篇包括量子物理基礎(chǔ)、激光技術(shù)簡(jiǎn)介、