沒想到是英文書
評分柯裏-霍華德同構給齣瞭“證明”和“程序”的等價性,這一結果與證明論有關,直覺主義邏輯和綫性邏輯在此起瞭很大作用。λ演算和組閤子邏輯這樣的演算現在屬於理想程序語言。
評分書標價好貴啊,拿到手纔看到原來那麼小一本書,看來版權費真的很貴啊
評分厚度、深度、清晰度和係統性並存的好書一枚。純粹是一時衝動買的,結果翻閱之下,受益良多,感到慶幸。比較厚重,不適閤作枕邊書,但是放在書房某個位置,隨時翻閱還是很好的。
評分某些哲學傾嚮濃厚的數學傢對用符號或代數方法來處理形式邏輯作過一些嘗試,比如說萊布尼茲和朗伯(Johann Heinrich Lambert);但他們的工作鮮為人知,後繼無人。直到19世紀中葉,喬治·布爾和其後的奧古斯都·德·摩根纔提齣瞭一種處理邏輯問題的係統性的數學方法(當然不是定量性的)。
評分傳統的邏輯研究(參見邏輯論題列錶)較偏重於“論證的形式”,而當代數理邏輯的態度也許可以被總結為對於內容的組閤研究。它同時包括“語法”(例如,從一形式語言把一個文字串傳送給一編譯器程序,從而轉寫為機器指令)和“語義”(在模型論中構造特定模型或全部模型的集閤)。
評分一些重要結果是:
評分經典教材,經典圖書,建議購買
評分目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.qciss.net All Rights Reserved. 圖書大百科 版權所有