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

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

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

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

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

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

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

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

本書內(nèi)容共分十二章，一至九章主要介紹了加、減、乘、除、乘方、開方橫式計算方法，除了文字?jǐn)⑹鐾�，還通過例題示范計算過程。每一類別都配備了一定量的練習(xí)題，并在每章末附有答案，供練習(xí)時參考。第十章介紹了非十進(jìn)制數(shù)的轉(zhuǎn)換和運(yùn)算，列舉例題都采用橫式完成，另辟蹊徑。盡管日常計算用不到，但了解這些知識，對我們更深刻地認(rèn)識和了解進(jìn)制、

《九章算術(shù)》是世界數(shù)學(xué)發(fā)展史上的寶貴遺產(chǎn)，也是古代中國數(shù)學(xué)發(fā)展史上的重要里程碑。它確立了中國古典數(shù)學(xué)的基本框架，記載了世界上早、完整的分?jǐn)?shù)四則運(yùn)算法則、比例和比例分配算法、開方法、線性方程組解法、正負(fù)數(shù)加減法則等內(nèi)容。作為十大算經(jīng)之首，《九章算術(shù)》與過去人們的生產(chǎn)、生活關(guān)系密切，并影響了其后2000余年間中國乃至整個東