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

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

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

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

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

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

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

本教材將Python軟件與數學建模和實驗相結合，從數學建模概述、Python語言快速入門、數據處理與可視化、Python在高等數學中的應用、Python在線性代數中的應用、線性規(guī)劃、整數規(guī)劃與非線性規(guī)劃、插值與擬合、圖論模型、數據與統計描述、統計分析、智能算法等12個部分展開論述。全書理論與實踐相結合，旨在幫助學生較熟

本書將數學建模和數學實驗課程有機融合，以數學軟件為操作平臺，以解決數學問題為主要線索，為培養(yǎng)大學生數學建模能力打下基礎，為提高大學生計算機應用水平創(chuàng)造條件。全書共7章，分別為數學建模入門、簡單優(yōu)化模型、數學規(guī)劃模型、常微分方程模型、插值與擬合、圖論模型、概率統計模型。各章包括基本內容和典型案例分析，通過案例教學開拓學生

宇宙的廣袤不斷激發(fā)人類的好奇心，令人浮想聯翩。為了更好地認識無窮大和宇宙自誕生以來的演變歷程，我們必須轉向另一個無窮，即無窮小，以粒子物理學標準模型為基礎，研究其中的夸克、輕子和玻色子，力爭在最小尺度上破解物質的結構之謎。沒有無窮小，我們就不能對宇宙大爆炸、大型恒星的結構和演化及物質的誕生展開描述。沒有兩個無窮，我們將