本書利用交互式定理證明工具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逼近及隨

國內(nèi)部系統(tǒng)論述歷史環(huán)境保護(hù)的著作，2001年底出版至今，好評(píng)如潮，已成為該領(lǐng)域的基礎(chǔ)文獻(xiàn)。結(jié)合進(jìn)展，推出第三版。優(yōu)化結(jié)構(gòu)，增補(bǔ)內(nèi)容，部分圖表進(jìn)一步優(yōu)化、調(diào)整，相關(guān)數(shù)據(jù)更新至2021年7月底。 本書系國內(nèi)部系統(tǒng)介紹遺產(chǎn)保護(hù)的專著，現(xiàn)已成為國內(nèi)遺產(chǎn)保護(hù)領(lǐng)域的基礎(chǔ)文獻(xiàn)，比較全面、系統(tǒng)介紹了國內(nèi)外遺產(chǎn)保護(hù)的歷史脈絡(luò)和發(fā)展現(xiàn)狀。

本書介紹復(fù)變函數(shù)與積分變換的基本概念、理論和方法。內(nèi)容包括：復(fù)數(shù)和復(fù)平面、解析函數(shù)、復(fù)變函數(shù)的積分、解析函數(shù)的級(jí)數(shù)表示法、留數(shù)理論及其應(yīng)用、共形映射、傅里葉變換、拉普拉斯變換和快速傅里葉變換。每一章給出本章的小結(jié)，并配有一定數(shù)量的習(xí)題，附錄中給出習(xí)題參考答案，便于讀者復(fù)習(xí)和總結(jié)。 本書可作為高等學(xué)校理工科專業(yè)復(fù)變函數(shù)

.近年來，分支理論在實(shí)際數(shù)學(xué)模型中得到了極大的應(yīng)用，特別是在人工神經(jīng)網(wǎng)絡(luò)與離散映射中已經(jīng)取得很大發(fā)展。作者將動(dòng)力系統(tǒng)分支理論中的方法分別應(yīng)用于用時(shí)滯微分方程及迭代方程所表示的數(shù)學(xué)模型中，分析它們各自的分支情況�！斗种Ю碚撛谌�維神經(jīng)網(wǎng)絡(luò)與二維離散映射中的應(yīng)用》全書分為兩部分，分析兩類時(shí)滯神經(jīng)網(wǎng)絡(luò)模型的分支情況及三類離散映

本書是動(dòng)力系統(tǒng)遍歷理論的代表作，共分為11章，它們的內(nèi)容分別是∶預(yù)備知識(shí).保測(cè)變換，自同構(gòu)、共軛與譜同構(gòu)，具有離散譜的保測(cè)變換，熵，拓?fù)鋭?dòng)力學(xué)，連續(xù)變換的不變測(cè)度，拓?fù)潇�，拓�(fù)潇嘏c測(cè)度論熵之間的關(guān)系，拓?fù)鋲毫�和它與不變測(cè)度的關(guān)系，應(yīng)用和其他主題. 本書可作為大學(xué)數(shù)學(xué)系相關(guān)專業(yè)的研究生教材，也可作為希望了解遍歷理論的其他

“Commoninvariantsubspacesandcompactnessconditions”一書主要總結(jié)了算子集合的不變子空間性質(zhì)，以及類緊算元的相關(guān)結(jié)果。在算子理論中，我們把緊的擬冪零算子稱為Volterra算子。由Volterra算子組成的集合亦稱為Volterra集合，如Volterra半群，Volter

偏微分方程是描述在變化中有守恒之物理世界諸多機(jī)制的重要手段。本書將圍繞波動(dòng)、熱傳導(dǎo)以及泊松方程三類最典型的二階偏微分方程展開討論，同時(shí)介紹特殊函數(shù)這一可用于求解偏微分方程的分析工具。本書旨在幫助讀者初步形成綜合運(yùn)用偏微分方程分析解決物理問題的能力。

本書研究無窮區(qū)間上常微分方程邊值問題的非線性泛函分析理論，內(nèi)容共七章，其中前兩章系統(tǒng)介紹無窮邊值問題、函數(shù)空間和非線性泛函理論的基礎(chǔ)；第3—7章分別給出了五種方法研究二階和高階常微分方程、具有p-Laplace算子的微分方程、差分方程以及方程組的特征值問題、兩點(diǎn)邊值問題、多點(diǎn)邊值問題、共振問題、周期解、次調(diào)和解和反周期

積分論一直是分析學(xué)的核心領(lǐng)域，近年來產(chǎn)生的非可加積分、集值積分與模糊值積分理論發(fā)展迅速，且在信息論、控制論、數(shù)量經(jīng)濟(jì)、決策過程、人工智能和大數(shù)據(jù)等領(lǐng)域有著廣泛的應(yīng)用.本書系統(tǒng)介紹非可加積分、集值積分與模糊值積分領(lǐng)域的**理論成果，因?yàn)槠浜�蓋了經(jīng)典的Lebesgue積分，所以定名為“廣義積分論”.內(nèi)容有：?jiǎn)沃捣e分，包括抽