《數理邏輯基礎（上冊）》是科學出版社出版的圖書，作者是胡世華，陸鐘萬
基本介紹
- ISBN：9787030464224
- 作者：胡世華、陸鐘萬
- 出版社：科學出版社
- 出版時間：2017年8月1日
- 定價：98.00元
- 裝幀：平裝
- 原作品：胡世華,陸鐘萬
內容簡介
《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》陳述數理邏輯的基礎知識，包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同的基礎。 《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統，並研究自然推理系統和重言式系統的關係。第四章研究邏輯演算的可靠性和完備性問題。第五章討論了邏輯演算如何套用於陳述具體的數學理論，並且研究了在數學中引進定義的形式化問題。附錄（一）陳述帶量詞的命題邏輯；附錄（二）定義了斜形證明，並且證明了形式證明與斜形證明的等價關係。 《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》可以用作數學專業和其他專業數理邏輯課程的教材或教學參考書，或供有關工作人員參考，使用時可根據具體情況刪減內容...(展開全部) 《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》陳述數理邏輯的基礎知識，包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支（模型論、證明論和構造性數學、遞歸論、集合論）的共同的基礎。 《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統，並研究自然推理系統和重言式系統的關係。第四章研究邏輯演算的可靠性和完備性問題。第五章討論了邏輯演算如何套用於陳述具體的數學理論，並且研究了在數學中引進定義的形式化問題。附錄（一）陳述帶量詞的命題邏輯；附錄（二）定義了斜形證明，並且證明了形式證明與斜形證明的等價關係。 《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》可以用作數學專業和其他專業數理邏輯課程的教材或教學參考書，或供有關工作人員參考，使用時可根據具體情況刪減內容，使用《現代數學基礎叢書·典藏版2：數理邏輯基礎（下冊）》時一般要求讀者具有相當於大學高年級程度的數學訓練。
