圖書標籤: 邏輯學 分析哲學
发表于2024-12-25
數理邏輯基礎(上冊) pdf epub mobi txt 電子書 下載 2024
《現代數學基礎叢書·典藏版2:數理邏輯基礎(下冊)》陳述數理邏輯的基礎知識,包括邏輯演算的基本內容。這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集閤論)的共同的基礎。
《現代數學基礎叢書·典藏版2:數理邏輯基礎(下冊)》共六部分,分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式係統,並研究自然推理係統和重言式係統的關係。第四章研究邏輯演算的可靠性和完備性問題。第五章討論瞭邏輯演算如何應用於陳述具體的數學理論,並且研究瞭在數學中引進定義的形式化問題。附錄(一)陳述帶量詞的命題邏輯;附錄(二)定義瞭斜形證明,並且證明瞭形式證明與斜形證明的等價關係。
《現代數學基礎叢書·典藏版2:數理邏輯基礎(下冊)》可以用作數學專業和其他專業數理邏輯課程的教材或教學參考書,或供有關工作人員參考,使用時可根據具體情況刪減內容,使用《現代數學基礎叢書·典藏版2:數理邏輯基礎(下冊)》時一般要求讀者具有相當於大學高年級程度的數學訓練。
評分
評分
評分
評分
數理邏輯基礎(上冊) pdf epub mobi txt 電子書 下載 2024