本書系統(tǒng)地介紹了三類重要偏微分方程的推導(dǎo)過程、理論基礎(chǔ)及其數(shù)值求解方法，旨在為讀者提供一本從理論推導(dǎo)到實(shí)際應(yīng)用無縫銜接的教材。作為描述物理現(xiàn)象、工程問題中空間和時間變化規(guī)律的數(shù)學(xué)模型，偏微分方程在自然科學(xué)和工程技術(shù)中都具有重要的核心地位和廣泛的應(yīng)用價值。本書介紹了偏微分方程的基本概念，通過生動的物理和工程實(shí)例展示了如何

外爾不但親自參與了20世紀(jì)上半葉數(shù)學(xué)、物理學(xué)以及數(shù)學(xué)基礎(chǔ)這場影響深遠(yuǎn)的大發(fā)展和大爭論，而且作出了重要貢獻(xiàn)。這些重大進(jìn)展的根源都深深埋在整個西方文化——科學(xué)與哲學(xué)——的深處，他自己也是從這片土壤中成長起來的一位大師�！稊�(shù)學(xué)與自然科學(xué)之哲學(xué)》正是他試圖從西方哲學(xué)的角度審視數(shù)學(xué)與物理學(xué)的發(fā)展，同時也用數(shù)學(xué)與物理學(xué)的成果豐富與

本書是十四五職業(yè)教育國家規(guī)劃教材，是一本面向應(yīng)用型高校的數(shù)學(xué)建模教材。本書融入黨的二十大精神，精選豐富多樣、難易恰當(dāng)?shù)哪Ｐ�，遵循常用的教學(xué)模式、按照新穎的體例編寫而成。 本書包括基礎(chǔ)篇和競賽篇，分別對應(yīng)課堂教學(xué)和競賽培訓(xùn)。主要內(nèi)容有數(shù)學(xué)建模簡介、初等模型、微分模型、微分方程模型、線性代數(shù)模型、數(shù)學(xué)規(guī)劃模型、概率統(tǒng)計(jì)模型

本書完美描述了概念判斷三段論及其關(guān)系。該圖解彌補(bǔ)了歐拉圖解和文恩圖解的缺陷，其圖形的變形規(guī)則表達(dá)了邏輯學(xué)的推理規(guī)則。該書也是邏輯學(xué)的形式系統(tǒng)：語義學(xué)是棋盤表達(dá)的論域，語形學(xué)是直言命題的下標(biāo)符號，語用學(xué)是直言命題的語句分析。這是一部非常有趣的邏輯學(xué)教材。一半篇幅是通俗易懂的知識講解；另一半是風(fēng)趣幽默的練習(xí)題，以及完整答案

本書主要探討數(shù)學(xué)建模的應(yīng)用對學(xué)生的數(shù)學(xué)素養(yǎng)的培養(yǎng)及思想品德的再塑，同時明確深度學(xué)習(xí)是落實(shí)數(shù)學(xué)建模素養(yǎng)的重要途徑。數(shù)學(xué)建模教學(xué)的開展又促進(jìn)了學(xué)生的深度學(xué)習(xí)。本書對學(xué)生核心素養(yǎng)的提升、豐富、完善、到最終實(shí)踐落實(shí)的途徑都給出了實(shí)施方案，對中學(xué)數(shù)學(xué)教育改革給出了專業(yè)性建議。

本書是海外優(yōu)秀數(shù)學(xué)類教材系列叢書之一，從培生教育集團(tuán)引進(jìn)。本書向?qū)W生介紹各種證明方法、分析證明過程，以幫助學(xué)生獨(dú)立撰寫正確且清晰的證明過程。書中先介紹邏輯基礎(chǔ)，再引入各種常用的證明方法，如直接證法、反證法、數(shù)學(xué)歸納法等，然后詳細(xì)分析數(shù)學(xué)各分支（數(shù)論、組合學(xué)、數(shù)學(xué)分析、群論、高等代數(shù)等）中的典型證明過程。各章的練習(xí)因其精

本書以通俗易懂的語言向讀者描述了各類常用算法。全書包括四個部分，涉及排序與搜索、算術(shù)與密碼、規(guī)劃、協(xié)同與設(shè)計(jì)、優(yōu)化四個領(lǐng)域，每個部分都給出該領(lǐng)域中常用的算法，每一個算法都從一個實(shí)際的生活場景引入。通過作者深入淺出的介紹，讀者可以輕松了解計(jì)算機(jī)科學(xué)中常用的算法的原理，具備初步的計(jì)算思維能力。本書適合作為高校計(jì)算機(jī)科學(xué)入門

本書包含了集合論與圖論課程需涵蓋的概念、理論、方法和應(yīng)用,主要包括兩部分:集合論與圖論。集合論部分主要包括集合及其運(yùn)算、映射及其合成、關(guān)系及其運(yùn)算、無窮集合及其基數(shù);圖論主要包括圖的一些基本概念、一些特殊的圖、樹及其性質(zhì)、割點(diǎn)和橋、連通度和匹配、平面圖和圖的著色、有向圖等。

"本書對數(shù)理邏輯的基礎(chǔ)知識進(jìn)行了系統(tǒng)介紹。全書共8章，其中，第1章介紹了數(shù)理邏輯的基本思想以及后面各章所用到的預(yù)備數(shù)學(xué)知識，第2~6章分別介紹了命題邏輯和謂詞邏輯，構(gòu)造了它們的形式系統(tǒng)，并討論了它們的系統(tǒng)性質(zhì)，進(jìn)而引入了包含數(shù)學(xué)理論的形式系統(tǒng)，前6章是本書核心內(nèi)容；后2章介紹了哥德爾的不完全性定理、算法可計(jì)算性，這部分

證明是數(shù)學(xué)思想中最重要，也是極具開拓性的特征之一。沒有證明，就無法談?wù)撜嬲�的�?shù)學(xué)。本書講述了證明的演變及其在數(shù)學(xué)中的重要作用和啟發(fā)意義。從古希臘幾何學(xué)時代開始，涵蓋代數(shù)、微積分、集合、數(shù)論、拓?fù)�、邏輯等幾乎全部�?shù)學(xué)分支中的證明故事。我們將看到歐幾里德、康托爾、哥德爾、圖靈等數(shù)學(xué)大師的精彩發(fā)現(xiàn)和發(fā)明。這本書不是教材，它是