-
數理邏輯的思想與方法
(2024年上海人民出版社出版的圖書)
鎖定
- 中文名
- 數理邏輯的思想與方法
- 作 者
- 昂揚,林勝強,李晟,修訂 著
- 出版時間
- 2024年1月
- 出版社
- 上海人民出版社
- ISBN
- 9787208187207
- 裝 幀
- 精裝
內容簡介
先有思想的形式化還是先有形式化的思想?思想的形式化重要還是形式化的思想重要?本書將系統闡述從萊布尼茨到哥德爾的數理邏輯的思想和方法:不僅構造命題邏輯、謂詞邏輯的公理系統、自然推理系統以及系統內定理的操作規則和技巧等思想的形式化方法,同時也進一步探討這些形式化方法所包含的生動活潑的思想(這是本書的鮮明特色),便於人們“徜徉”數理邏輯“秀山麗水”的本質與全貌。本書避免使用過於複雜和煩瑣的數學證明和推導,通過本書,讀者會了解到不太一樣的數理邏輯和邏輯哲學。
[1]
- 參考資料
-
- 1. 數理邏輯的思想與方法 .京東圖書.2024-01-10[引用日期2024-01-10]
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:1次歷史版本
- 最近更新: 星月夜777