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

本書介紹幾種常用的線性規(guī)劃計算方法,如:單純形法、迭代法等;討論幾種特殊類型的線性規(guī)劃問題的解法;如:生產(chǎn)組織與管理問題、運輸運輸、分配問題等。

本書全面介紹了組合論中的計數(shù)問題，以及解決計數(shù)問題的數(shù)學(xué)工具，如母函數(shù)、容斥原理、（0，1）矩陣的積和式（排列式）等。

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

全書共分九章,前三章是基礎(chǔ)部分,后幾章論述在航空、水利、氣象諸方面的流體力學(xué)理論和應(yīng)用,書中排印小號字的內(nèi)容系用以提供進一步的知識,以便對有關(guān)問題獲得更為深刻的見解。

本書系統(tǒng)地敘述了彈性力學(xué)中的各種變分原理,尤其是廣義變分原理,以及這些變分原理在理論方面和近似計算方面的應(yīng)用,討論到的物體形式有梁、板、扁殼和一般的彈性體。

《快速數(shù)論變換（典藏版）》主要介紹快速數(shù)論變換的理論、方法、應(yīng)用及其新進展。數(shù)論變換是把數(shù)論應(yīng)用到數(shù)字處理中而得到的一種計算方法。其特點是：（1）沒有舍入誤差：（2）其中某些變換比快速傅里葉變換還快。它不僅在數(shù)字處理中有用，還可以應(yīng)用到多項式、大整數(shù)相乘等方面的計算中去�！犊焖贁�(shù)論變換（典藏版）》可供計算數(shù)學(xué)工作者、大

本書介紹了高維數(shù)值積分的基本方法,其中包括代數(shù)方法、數(shù)論方法及解析方法,此外,還介紹了高維邊界型求積公式的構(gòu)造方法以及含參變量積分的漸近展開方法等。

《非線性彈性理論》從理性力學(xué)觀點，系統(tǒng)敘述非線性彈性力學(xué)的理論，著重理論的基本概念，使讀者除了掌握本理論外，還為進一步了解理性力學(xué)的其它方面打下基礎(chǔ)�！斗蔷�性彈性理論》取目前國際上通用的“兩點張量法”和“抽象符號法”之長，首次采用“兩點張量抽象符號法”，使之有可能進行簡明扼要而嚴格的數(shù)學(xué)描述；同時，又避免用過深的數(shù)學(xué)工

本書介紹了氣體動力學(xué)基礎(chǔ)、激波理論和輻射輸運理論。對于高溫高壓下物質(zhì)的熱力學(xué)和光學(xué)性質(zhì)、離解和電離等一些非平衡過程的動力論、在激波中和爆炸時所出現(xiàn)的與光輻射和輻射熱交換有關(guān)的各種現(xiàn)象等。

全書共12章,前3章講述力學(xué)基礎(chǔ)知識、光學(xué)基礎(chǔ)和光彈性基本原理;第4-5章講述模型制造和實驗設(shè)備;第6-9章講述了二向和三向問題常用的實驗方法,并給出實例;第10章介紹了全息干涉法;第11-12分別介紹光彈攝影技術(shù)及模型律。

本書分上、下二冊。上冊為前九章,內(nèi)容包括:變分法的基本理論;梁、板小撓度和大撓度的靜力學(xué)、動力學(xué)問題;板的熱彈性問題;彈性體小位移變形和大位移變形的靜力學(xué)、動力學(xué)問題等。