自2006年周以真在CommunicationsoftheACM中發(fā)表視角觀點(diǎn)“計(jì)算思維”以來，有關(guān)計(jì)算思維的宣傳和推廣從未停息。周以真認(rèn)為，計(jì)算思維是21世紀(jì)每個(gè)公民應(yīng)具備的核心素養(yǎng)，是每個(gè)人都應(yīng)該學(xué)習(xí)的基本技能。即使在人工智能時(shí)代，計(jì)算思維也被認(rèn)為是該時(shí)代的核心素養(yǎng)。計(jì)算思維成為與理論思維、實(shí)驗(yàn)思維并列的三大思維之

本書是中山大學(xué)中法核工程與技術(shù)學(xué)院三年級(jí)第二學(xué)期的數(shù)學(xué)教材的中文翻譯版，包括以下主要內(nèi)容：微分方程、積分、概率、冪級(jí)數(shù)和復(fù)分析初步、準(zhǔn)Hilbert空間、Fourier級(jí)數(shù)。這些內(nèi)容涉及不同的數(shù)學(xué)分支，讀者在閱讀本書前需對(duì)某些數(shù)學(xué)分支的基礎(chǔ)內(nèi)容有所了解。在每章的開頭部分，列出了學(xué)習(xí)該章內(nèi)容所需的預(yù)備知識(shí)。

本書內(nèi)容包括常微分方程兩點(diǎn)邊值問題的差分方法、橢圓型方程的差分方法、拋物型方程的差分方法、雙曲型方程的差分方法、高維發(fā)展方程的交替方向法、分?jǐn)?shù)階微分方程的有限差分方法、Schr*dinger方程的差分方法、Burgers方程的差分方法、Korteweg-deVries方程的差分方法。力求做到：(a)精選內(nèi)容；(b)難點(diǎn)

本書致力于適應(yīng)普通本科高校的數(shù)學(xué)建模教學(xué)，力求做到內(nèi)容簡(jiǎn)明扼要、淺顯易懂，讓學(xué)生既學(xué)到基本的建模方法，又有擴(kuò)展學(xué)習(xí)的空間。本書采用了目前比較流行的Python語(yǔ)言進(jìn)行數(shù)值實(shí)驗(yàn)。全書主要內(nèi)容包括插值與擬合、微分方程、圖與網(wǎng)絡(luò)優(yōu)化、線性規(guī)劃、非線性規(guī)劃、數(shù)據(jù)的統(tǒng)計(jì)描述、統(tǒng)計(jì)分析、綜合評(píng)價(jià)方法等。本書還提供所有例題的Pyth

本書為高等學(xué)校文科類各專業(yè)的高等數(shù)學(xué)教材，是根據(jù)多年教學(xué)經(jīng)驗(yàn)，參照“文科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求”，按照新形勢(shì)下教材改革的精神編寫而成。本套教材分為上、下兩冊(cè)，上冊(cè)內(nèi)容包括一元微積分、二元微積分、簡(jiǎn)單一階常微分方程等內(nèi)容。下冊(cè)內(nèi)容為線性代數(shù)和概率論與數(shù)理統(tǒng)計(jì)。各章配有小結(jié)及練習(xí)題，并介紹一些與本書所述內(nèi)容相關(guān)的數(shù)

本書涵蓋了拉普拉斯變換、微分方程、傳遞函數(shù)、時(shí)域分析法、頻域分析法、根軌跡分析法以及系統(tǒng)穩(wěn)定性與誤差分析等經(jīng)典控制理論相關(guān)的數(shù)學(xué)知識(shí)、基礎(chǔ)理論及分析方法。通過選用機(jī)械工程實(shí)例，側(cè)重于培養(yǎng)學(xué)生應(yīng)用基本概念與原理進(jìn)行控制系統(tǒng)動(dòng)態(tài)問題分析的能力以及解決機(jī)械系統(tǒng)控制問題的能力。

本書主要介紹在化學(xué)與材料科學(xué)、生命科學(xué)、環(huán)境科學(xué)等研究和應(yīng)用領(lǐng)域中常用的現(xiàn)代儀器分析方法，包括有機(jī)和金屬元素分析、色譜分析、質(zhì)譜分析、光譜分析、磁共振波譜分析、X射線分析、電子顯微分析、熱分析等。本書內(nèi)容有較大的覆蓋面，重點(diǎn)介紹各種方法的原理、儀器結(jié)構(gòu)與各部件功能、所能獲得的信息及能解決的問題，有較強(qiáng)的可讀性與參考價(jià)值

本書主要介紹在化學(xué)與材料科學(xué)、生命科學(xué)、環(huán)境科學(xué)等研究和應(yīng)用領(lǐng)域中常用的現(xiàn)代儀器分析方法，包括有機(jī)和金屬元素分析、色譜分析、質(zhì)譜分析、光譜分析、磁共振波譜分析、X射線分析、電子顯微分析、熱分析等。本書內(nèi)容有較大的覆蓋面，重點(diǎn)介紹各種方法的原理、儀器結(jié)構(gòu)與各部件功能、所能獲得的信息及能解決的問題，有較強(qiáng)的可讀性與參考價(jià)值

在超聲速流動(dòng)中，正激波和斜激波理論已經(jīng)非常完善。但是，在高超聲速飛行器的設(shè)計(jì)工作中，遇到的激波往往是彎曲型的。目前，對(duì)于彎曲激波仍然沒有一個(gè)精確的理論解，且相關(guān)理論基礎(chǔ)比較缺乏。因此，本書擬從數(shù)值計(jì)算方法（二維特征線法）和理論解析方法（M?lder一階彎曲激波理論）這兩個(gè)方面，發(fā)展構(gòu)建彎曲激波理論，并通過標(biāo)準(zhǔn)模型的進(jìn)氣

本書首先簡(jiǎn)要介紹了數(shù)理邏輯的發(fā)展、形式系統(tǒng)及一些預(yù)備知識(shí)，然后介紹了集合論，詳細(xì)講解了命題演算、謂詞演算、可計(jì)算性理論和哥德爾不完全性定理，最后介紹了模型論的基礎(chǔ)知識(shí)和方法。全書重點(diǎn)突出，論證詳細(xì)，各部分內(nèi)容配有典型的例子和習(xí)題，以便讀者更好地理解、掌握相關(guān)知識(shí)。