模型論基礎 在線電子書 圖書標籤: 模型論 邏輯學 數理邏輯 數學 深井冰 元數學 一階邏輯
發表於2024-12-23
模型論基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
王世強,數學傢。從事代數和數理邏輯方麵的教學與研究。在格論和泛代數、邏輯演算、格值模型論及模型論的代數應用等領域多有建樹。1948年畢業北平師範大學數學係。建國後,曆任北京師範大學副教授、教授。1985年加入中國共産黨。專於數理邏輯和代數,倡導模型論的研究。從計算機科學、多值邏輯和模糊邏輯發展背景中提齣格值模型論,並將模型論應用於代數方麵,研究一些命題間的相對和諧性和獨立性。“模型論與判定問題”的研究1986年獲國傢教委科技進步奬一等奬。
擴展閱讀:http://baike.baidu.com/view/313388.htm
本書介紹模型論的基礎知識。主要內容有:緊緻性定理,省略型定理,內播定理,完全理論與模型完全理論,初等鍵,越積,模型論力迫法,他和模型等.並附有模型論方法對經典數學應用的一些例子。
本書可供大學數學專業高年級學生及研究生、數學教師及數學工作者閱讀.也可供其他專業有關數理邏輯及理論計算機科學方麵的師生及科學工作者參考。
評分
評分
評分
評分
模型論基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024