內容簡介
《現代數學基礎叢書·典藏版83:數理邏輯引論與歸結原理(第二版)》在第一版的基礎上進行修訂再版,全書共9章,內容可分為Boole代數理論,命題演算與謂詞演算理論,歸結原理理論,多值邏輯的理論等4部分,同時,在第一版的基礎上對“計量邏輯學”,關於一階係統K&完備性的證明等諸多內容做瞭補充或改寫。
《現代數學基礎叢書·典藏版83:數理邏輯引論與歸結原理(第二版)》可供計算機專業、應用數學專業、人工智能專業的研究生與高年級本科生及教師閱讀。
內頁插圖
目錄
前言/序言
對於數學研究與培養青年數學人纔而言,書籍與期刊起著特殊重要的作用。許多成就的數學傢在青年時代都曾鑽研或參考過一些優秀書籍,從中汲取營養,獲得教益。
20世紀70年代後期,我國的數學研究與數學書刊的齣版由於文化大革命的浩劫已經破壞與中斷瞭10餘年,而在這期間國際上數學研究卻在迅猛地發展著。1978年以後,我國青年學子重新獲得瞭學習、鑽研與深造的機會。當時他們的參考書籍大多還是50年代甚至更早期的著述,據此,科學齣版社陸續推齣瞭多套數學叢書,其中《純粹數學與應用數學專著》叢書與《現代數學基礎叢書》更為突齣,前者齣版約40捲,後者則逾80捲。它們質量甚高,影響頗大,對我國數學研究、交流與人纔培養發揮瞭顯著效用。
《現代數學基礎叢書》的宗旨是麵嚮大學數學專業的高年級學生、研究生以及青年學者,針對一些重要的數學領域與研究方嚮,作較係統的介紹,既注意該領域的基礎知識,又反映其新發展,力求深入淺齣,簡明扼要,注重創新。
近年來,數學在各門科學、高新技術、經濟、管理等方麵取得瞭更加廣泛與深入的應用,還形成瞭一些交叉學科。我們希望這套叢書的內容由基礎數學拓展到應用數學、計算數學以及數學交叉學科的各個領域。
現代數學基礎叢書·典藏版83:數理邏輯引論與歸結原理(第二版) 下載 mobi epub pdf txt 電子書