本書(shū)詳細(xì)介紹了數(shù)學(xué)模型的基本概念、各類數(shù)學(xué)模型的建立及其求解方法。書(shū)中涉及的模型有初等模型、微分方程模型、變分法模型、運(yùn)籌學(xué)模型、圖論模型、網(wǎng)絡(luò)模型等。全書(shū)共分10章。

內(nèi)容有：緊致性定理，省略型定理，內(nèi)插定理，完全理論與模型完全理論，初等鏈，超積，模型論力追法，飽和模型等，并附有模型論方法對(duì)經(jīng)典數(shù)學(xué)應(yīng)用的一些例子

本書(shū)共六部分，分上、下兩冊(cè)。下冊(cè)包括第三、四、五章和兩個(gè)附錄。第三章陳述邏輯演算的重言式系統(tǒng)，并研究自然推理系統(tǒng)和重言式系統(tǒng)的關(guān)系。第四章研究邏輯演算的可靠性和完備性問(wèn)題。笫五章討論了邏輯演箅如何應(yīng)用于陳述具體的數(shù)學(xué)理論，并且研究了在數(shù)學(xué)中引進(jìn)定義的形式化問(wèn)題。附錄(一)陳述帶量詞的命題邏輯；附錄(二)定義了斜形證明，

本書(shū)共六部分，分上、下兩冊(cè).上冊(cè)包括緒論、第一章和第二章.緒論對(duì)數(shù)理邏輯的性質(zhì)，邏輯演算的大概內(nèi)容.以及閱讀以后各章所需要的預(yù)備知識(shí)作了簡(jiǎn)要的說(shuō)明.第一章構(gòu)造命題邏輯和一階邏輯的形式系統(tǒng)，介紹演繹邏輯的基本規(guī)則.第二章研究邏輯演算的重要系統(tǒng)特征