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

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

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

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

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

本書系統(tǒng)地?cái)⑹隽藦椥粤�學(xué)中的各種變分原理,尤其是廣義變分原理,以及這些變分原理在理論方面和近似計(jì)算方面的應(yīng)用,討論到的物體形式有梁、板、扁殼和一般的彈性體。

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

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

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

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

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

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