環(huán)論是抽象代數(shù)學中的一個重要的分支。環(huán)的結(jié)構(gòu)、分類與表示是環(huán)論中的具有根本性的研究課題。在環(huán)論的發(fā)展過程中,人們先后提出了很多種環(huán)的概念。作為抽象的代數(shù)概念,各種環(huán)類都需要具體的例子來支撐相關(guān)的理論。本書以環(huán)論中一些重要的環(huán)與模為研究對象,比較系統(tǒng)地介紹它們的定義、性質(zhì)以及豐富的具有代表性的例子,特別是通過具體的例子展
為南開大學代數(shù)類課程教材系列的重要一環(huán),本教材具有整套系列教材的共同特色。由于我們一直將代數(shù)學看成一個整體看待,因此我們的教材特別注重與前期課程與后繼課程的銜接與統(tǒng)一。本教材特別注重講清楚數(shù)學思想,因此在引出定義和定理前一般會加入很多解釋性的按語,或者在定理后面加一些注記。本教材的習題是我們花了大量心血精心設(shè)計而成的,
本書主要講解張量基本概念,它們的代數(shù)運算和微分學,以及Riemann流形上的張量及其微積分學,Riemann流形上的微分算子。本書還用大量篇幅講授張量在連續(xù)介質(zhì)力學和物理中的應(yīng)用。其中有許多內(nèi)容是作者30多年的研究生涯中應(yīng)用張量分析工具,建立相關(guān)力學數(shù)學模型,發(fā)展新的數(shù)學方法和數(shù)值計算方法的研究成果。
本書系統(tǒng)地介紹流體力學中的基本方程,即:不可壓縮Navier-Stokes方程的最新理論和方法,著重介紹Fourier分離方法及其在Navier-Stokes方程中的應(yīng)用。具體講,就是用此方法建立大初值整體弱解在范數(shù)意義下的最優(yōu)大時間行為,以及整體小初值強解在范數(shù)意義下的長時間漸近行為。本書循序漸進地闡述Navier-
本書在建立應(yīng)用變分方法研究時標上的共形分數(shù)階微分方程邊值問題的工作空間,并應(yīng)用變分方法研究時標上的共形分數(shù)階微分方程邊值問題解的存在性和多解性,拓展了臨界點理論在研究時標上的微分方程邊值問題中的應(yīng)用范圍,提出了研究時標上的微分方程邊值問題的新方法。。微分方程專業(yè)的碩士研究生、博士研究生以及廣大數(shù)學研究者
基礎(chǔ)拓撲學是一部拓撲學入門書。作者主要介紹了拓撲空間中的拓撲不變量,以及相應(yīng)的計算方法。本書涉及點集拓撲、幾何拓撲、代數(shù)拓撲中的各類方法及其應(yīng)用,并包含大量的圖解和難度各異的思考題,有助于培養(yǎng)學生的幾何直觀能力和對本書的深刻理解。本書內(nèi)容淺易,注重抽象理論與具體應(yīng)用相結(jié)合。
本卷收錄了吳文俊在拓撲學領(lǐng)域發(fā)表的56篇學術(shù)論文。這些論文包含了吳文俊在示性類、示嵌類、示浸類、示痕類、能計算性與I*-量度等方面做出的一系列重要工作,蘊含了他在拓撲學領(lǐng)域的諸多原始思想。該卷可作為數(shù)學或數(shù)學史研究人員、教師、研究生的參考文獻,也可以作為拓撲學課程的參考書。
本卷收錄了吳文俊在數(shù)學機械化領(lǐng)域發(fā)表的56論文篇。內(nèi)容包括:幾何定理機器證明的吳方法,多項式系統(tǒng)符號求解的Ritt-吳特征列方法,構(gòu)造性微分代數(shù)幾何理論,不等式機器證明與優(yōu)化問題的有限核定理等數(shù)學機械化領(lǐng)域的奠基性成果。還包括數(shù)學機械化方法在數(shù)學定理的自動發(fā)現(xiàn)、天體中心構(gòu)型問題求解、平面機構(gòu)定理的機器證明、機器人的運動
本書主要介紹了DNA計算核酸編碼原理及方法,具體包括,DNA計算的研究進展和背景,DNA計算的生物化學基礎(chǔ),DNA編碼問題及其復(fù)雜性分析,DNA二級結(jié)構(gòu)預(yù)測和*小自由能模型,隱枚舉核酸序列編碼算法,DNA編碼在圖著色DNA計算中的應(yīng)用。
《高等數(shù)學觀點下的中學數(shù)學》旨在解決如何在高等數(shù)學觀點的指導下,加強高等數(shù)學與中學數(shù)學的聯(lián)系:一是將高等數(shù)學的知識、思想、觀點和方法滲透到中學數(shù)學教學中去;二是揭示中學數(shù)學內(nèi)容中某些不容易解釋的問題的高等數(shù)學背景;三是通過具體材料或?qū)嵗故靖叩葦?shù)學對中學數(shù)學的指導作用。全書共8章,每章末附有思考題,書后附有參考答案。本