本書是編者講授數(shù)學分析與數(shù)學分析選講課程十余年經(jīng)驗的總結(jié)。全書主要內(nèi)容包括:函數(shù)的極限與連續(xù)性、實數(shù)的完備性理論、上(下)極限與半連續(xù)性、微分與廣義微分中值定理、積分理論與方法、級數(shù)理論與方法、廣義積分理論與方法、凸函數(shù)的性質(zhì)及其應(yīng)用。本書對數(shù)學分析中的一些主要思想與方法、重點與難點進行了專題闡述,對部分內(nèi)容進行了深化
數(shù)理邏輯系統(tǒng)是形式語言、形式語義和證明的三位一體!稊(shù)理邏輯引論:計算機科學與系統(tǒng)的天然基礎(chǔ)》討論這類系統(tǒng)的核心思想、重要概念、組成部分、構(gòu)建方法,以及它們與數(shù)學和計算機科學的緊密關(guān)系,解釋數(shù)理邏輯系統(tǒng)中符號化語言、解釋、模型等概念,研究遞歸、迭代、分解組合、模塊化、等價替換等處理結(jié)構(gòu)復雜性的方法和技術(shù)。正是這些概念、
本書是中山大學中法核工程與技術(shù)學院一年級第二學期的數(shù)學教材的中文翻譯版,包括以下主要內(nèi)容:平面幾何與空間幾何基礎(chǔ)、極限展開及其在幾何中的應(yīng)用、有限樣本空間中的概率基礎(chǔ)、對集合論和邏輯的初步介紹.盡管這些內(nèi)容是相對獨立的,但本書可幫助讀者看到并理解不同數(shù)學領(lǐng)域之間的聯(lián)系.每章的開頭部分,列出了學習該章內(nèi)容所需的預備知識.
本書是中山大學中法核工程與技術(shù)學院二年級第二學期的數(shù)學教材,主要包括以下內(nèi)容:導數(shù)和極限展開、有限維向量空間、矩陣、單實變量函數(shù)在閉區(qū)間上的積分和對廣義積分的簡單介紹、數(shù)項級數(shù)、離散概率、凸函數(shù)、行列式和線性系統(tǒng)、歐幾里得空間。在每章的開頭部分,列出了學習該章內(nèi)容所需的預備知識。書中給出了很多詳細解答的例題和方法提要,
本書依據(jù)理工類本科高等數(shù)學課程教學基本要求,并結(jié)合教學實踐經(jīng)驗編寫而成.融入了課程思政元素,且將“結(jié)構(gòu)分析-形式統(tǒng)一法”貫穿于教材,相比于同類教材,本書增加了部分內(nèi)容,調(diào)整了一些內(nèi)容的講述順序,內(nèi)容更豐富,系統(tǒng)性更強.《BR》本書在定理的證明和例題的求解之前增加了結(jié)構(gòu)分析環(huán)節(jié),展現(xiàn)了思路形成和解題方法設(shè)計的過程,突出了
本書是與《大學文科數(shù)學(慕課版)》配套的學習指導書,是根據(jù)高等學校文科類專業(yè)數(shù)學基礎(chǔ)課程的教學基本要求,結(jié)合編者多年的教學經(jīng)驗編寫而成的.全書共5章,主要內(nèi)容如下:函數(shù)、極限與連續(xù),導數(shù)與微分,不定積分、定積分及其應(yīng)用,線性代數(shù)初步,概率論初步.各章與配套教材嚴格對應(yīng),且各章均包含知識結(jié)構(gòu)、重點與難點分析、典型例題與方
數(shù)學物理方程是來源于物理、力學等自然科學及工程技術(shù)領(lǐng)域的偏微分方程。本書首先介紹了典型的數(shù)學物理模型的建立及二階線性偏微分方程的分類與化簡,然后重點介紹了分離變量法、特殊函數(shù)(貝塞爾函數(shù))法、行波法、積分變換法和格林函數(shù)法等應(yīng)用廣泛的數(shù)學物理方程經(jīng)典的求解方法,最后簡要介紹了某些求解非線性數(shù)學物理方程的方法,如Adom
本書系統(tǒng)闡述了波動方程參數(shù)反演的理論方法與數(shù)值計算方法,內(nèi)容包括奇異值分解方法、不適定問題的正則化方法、全波形反演的數(shù)值優(yōu)化方法、時間域與頻率域聲波方程和彈性波動方程的全波形反演。全書理論方法與科學計算并重,不但有嚴謹?shù)睦碚撏茖Ш退惴枋觯有詳細的數(shù)值算例應(yīng)用及豐富的圖形結(jié)果。
本書共4章。第1章為度量空間,講解度量空間的拓撲結(jié)構(gòu)、度量空間中集合的性質(zhì)、完備的度量空間。第2章為賦范線性空間,包括賦范線性空間的結(jié)構(gòu)、有界線性算子與泛函、泛函延拓定理、有限維賦范線性空間。第3章為Hilbert空間理論,首先講解內(nèi)積空間的構(gòu)造和標準正交基,然后是Hilbert空間的主要定理,最后是Hilbert空間
本書主要研究無窮維希爾伯特空間框架下的分裂可行性問題。本書以非擴張映射、單調(diào)映射、凸分析等非線性泛函分析理論為主要研究工具,系統(tǒng)介紹了分裂可行性問題解的存在性及其逼近方法的**研究結(jié)果,其主要內(nèi)容由作者長期在該領(lǐng)域的研究成果積累而成。