本書系統(tǒng)地介紹流體力學(xué)中的基本方程，即：不可壓縮Navier-Stokes方程的最新理論和方法，著重介紹Fourier分離方法及其在Navier-Stokes方程中的應(yīng)用。具體講，就是用此方法建立大初值整體弱解在范數(shù)意義下的最優(yōu)大時(shí)間行為，以及整體小初值強(qiáng)解在范數(shù)意義下的長(zhǎng)時(shí)間漸近行為。本書循序漸進(jìn)地闡述Navier-

本書在建立應(yīng)用變分方法研究時(shí)標(biāo)上的共形分?jǐn)?shù)階微分方程邊值問(wèn)題的工作空間,并應(yīng)用變分方法研究時(shí)標(biāo)上的共形分?jǐn)?shù)階微分方程邊值問(wèn)題解的存在性和多解性，拓展了臨界點(diǎn)理論在研究時(shí)標(biāo)上的微分方程邊值問(wèn)題中的應(yīng)用范圍，提出了研究時(shí)標(biāo)上的微分方程邊值問(wèn)題的新方法。。微分方程專業(yè)的碩士研究生、博士研究生以及廣大數(shù)學(xué)研究者

這本教材覆蓋了許多不同的數(shù)學(xué)領(lǐng)域。這本書包括以下內(nèi)容：平面幾何與立體幾何的基本知識(shí)；極限展開(kāi)以及它在幾何中的應(yīng)用；有限樣本空間中的概率的基本知識(shí)；以及對(duì)集合論和邏輯的初步介紹。盡管這些內(nèi)容是相對(duì)獨(dú)立的，本書可以幫助讀者看到并理解不同數(shù)學(xué)領(lǐng)域之間的聯(lián)系。每章的開(kāi)頭部分，有關(guān)于學(xué)習(xí)本章所需的預(yù)備知識(shí)的描述。

本書內(nèi)容包括：常微分方程、線性代數(shù)、概率論與數(shù)理統(tǒng)計(jì)、線性規(guī)劃、數(shù)學(xué)建模概述。在每一模塊中均編有應(yīng)用與實(shí)踐內(nèi)容，其中包括高等數(shù)學(xué)在物理、機(jī)械、經(jīng)濟(jì)、電工電子、信息技術(shù)等方面的應(yīng)用和數(shù)學(xué)軟件MATLAB的使用。每節(jié)配有習(xí)題，并將習(xí)題答案附于書后。 本書可供高職院校工科類和經(jīng)濟(jì)管理類專業(yè)的學(xué)生作為教材或?qū)W習(xí)參考書使用

本書架構(gòu)上分為函數(shù)極限、微分方程、多元微分學(xué)，多元函數(shù)積分、級(jí)數(shù)4個(gè)部分，章節(jié)設(shè)計(jì)由淺入深逐步遞進(jìn)。在微分方程部分，包括微分方程的求解及應(yīng)用。多元微分學(xué)部分，包括多元函數(shù)的概念、求導(dǎo)方法、多元函數(shù)偏導(dǎo)數(shù)的意義。多元函數(shù)積分學(xué)部分，包括重積分、二重積分和三重積分、曲線積分和曲面積分。級(jí)數(shù)部分，包括級(jí)數(shù)內(nèi)容。教材每節(jié)后均配

本書內(nèi)容包括：極限與連續(xù)、導(dǎo)數(shù)與微分、導(dǎo)數(shù)的應(yīng)用、一元函數(shù)積分學(xué)及多元函數(shù)微積分學(xué)。在每一模塊中均編有應(yīng)用與實(shí)踐內(nèi)容，其中包括高等數(shù)學(xué)在物理、機(jī)械、經(jīng)濟(jì)、電工電子、信息技術(shù)等方面的應(yīng)用和數(shù)學(xué)軟件MATLAB的使用。每節(jié)配有習(xí)題，并將習(xí)題答案附于書后。 本書可供高職院校工科類和經(jīng)濟(jì)管理類專業(yè)的學(xué)生作為教材或?qū)W習(xí)參考

空間解析幾何，二元函數(shù)微分學(xué)、積分學(xué)，無(wú)窮級(jí)數(shù)，微分方程，MATLAB在微分中的應(yīng)用。空間解析幾何，二元函數(shù)微分學(xué)、積分學(xué)，無(wú)窮級(jí)數(shù)，微分方程，MATLAB在微分中的應(yīng)用�？臻g解析幾何，二元函數(shù)微分學(xué)、積分學(xué)，無(wú)窮級(jí)數(shù)，微分方程，MATLAB在微分中的應(yīng)用。

本書是重慶大學(xué)“高等數(shù)學(xué)”課程教材體系改革試點(diǎn)工作的配套講義。在學(xué)校領(lǐng)導(dǎo)、教務(wù)處及院系領(lǐng)導(dǎo)的長(zhǎng)期大力支持下，試點(diǎn)工作進(jìn)行了二十多年。參加試點(diǎn)教學(xué)的學(xué)生主要來(lái)自物理、力學(xué)及計(jì)算機(jī)專業(yè)。參加試點(diǎn)教學(xué)的教師同時(shí)也進(jìn)行傳統(tǒng)“高等數(shù)學(xué)”的教學(xué)工作。兩種教材的教學(xué)中使用本講義的學(xué)生對(duì)教學(xué)的評(píng)價(jià)一般都要高于使用傳統(tǒng)“高等數(shù)學(xué)”教材的

本書共分三卷,本卷為第二卷.第一卷的內(nèi)容主要有:實(shí)數(shù)基本理論;一元微積分學(xué),包括極限、連續(xù)、級(jí)數(shù)、微分、復(fù)數(shù)、積分等.在此基礎(chǔ)上,本卷主要介紹拓?fù)淇臻g(特別是度量空間、歐氏空間)及映射的極限與連續(xù)的映射(包括壓縮映像原理);多變量函數(shù)微分學(xué);重積分;流形及微分形式;流形(特別是曲線與曲面)上微分形式的積分;向量分析與場(chǎng)

布爾巴基學(xué)派的序、代數(shù)、拓?fù)淙�大母結(jié)構(gòu)是現(xiàn)代數(shù)學(xué)的基礎(chǔ).利用計(jì)算機(jī)證明輔助工具,可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng).《公理化集合論機(jī)器證明系統(tǒng)》利用交互式定理證明工具Coq,實(shí)現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng),包括對(duì)該體系中8個(gè)公理(含選擇公理)和1個(gè)公理圖示以及全部181條定義或定理的Coq描述,其