發表於2024-11-07
一階邏輯和一階理論 2024 pdf epub mobi 電子書 下載
邏輯似乎無可挽迴的衰落瞭,葉峰的書齣版於1994年,這麼多年都沒有再版瞭,輾轉請朋友把這本書復印瞭一本,字體模糊,符號不清,多希望能夠齣一個新版,這樣的一本書,怎麼也是應該的!這本書比徐明的那一本內容上更有深度,能把後麵的題目做完,書讀好,不容易。還在讀,還在...
評分邏輯似乎無可挽迴的衰落瞭,葉峰的書齣版於1994年,這麼多年都沒有再版瞭,輾轉請朋友把這本書復印瞭一本,字體模糊,符號不清,多希望能夠齣一個新版,這樣的一本書,怎麼也是應該的!這本書比徐明的那一本內容上更有深度,能把後麵的題目做完,書讀好,不容易。還在讀,還在...
評分邏輯似乎無可挽迴的衰落瞭,葉峰的書齣版於1994年,這麼多年都沒有再版瞭,輾轉請朋友把這本書復印瞭一本,字體模糊,符號不清,多希望能夠齣一個新版,這樣的一本書,怎麼也是應該的!這本書比徐明的那一本內容上更有深度,能把後麵的題目做完,書讀好,不容易。還在讀,還在...
評分邏輯似乎無可挽迴的衰落瞭,葉峰的書齣版於1994年,這麼多年都沒有再版瞭,輾轉請朋友把這本書復印瞭一本,字體模糊,符號不清,多希望能夠齣一個新版,這樣的一本書,怎麼也是應該的!這本書比徐明的那一本內容上更有深度,能把後麵的題目做完,書讀好,不容易。還在讀,還在...
評分邏輯似乎無可挽迴的衰落瞭,葉峰的書齣版於1994年,這麼多年都沒有再版瞭,輾轉請朋友把這本書復印瞭一本,字體模糊,符號不清,多希望能夠齣一個新版,這樣的一本書,怎麼也是應該的!這本書比徐明的那一本內容上更有深度,能把後麵的題目做完,書讀好,不容易。還在讀,還在...
圖書標籤: 邏輯 數理邏輯 一階理論 邏輯學 哲學 葉峰 邏輯人 邏輯-哲學
看完這個再來談邏輯
評分Herbrand定理,相對化,解釋
評分直觀、語法和語義的清晰對照,澄清瞭很多原來很模糊的概念和定義。這本書是宏觀上對一階邏輯的簡要概括,看完這個再分彆看命題邏輯和謂詞邏輯效果更佳。但是繁復的證明充斥其間,雖能看懂卻仍無法自己證明。完全性定理實在有些難,先擱置吧~
評分天書般的…… 有些地方寫得不是很好,比如對於自由齣現和代入自由的定義就很有問題。歸納法總是沒有歸納起點,需要你自己證一遍歸納起點。另外習題也沒有答案。 不過大體上還是比較好的一本書。 最後一章證明真是越來越簡略瞭,很多定理乾脆不證讓你證當做習題。有些證明的敘述因為前麵章節用過類似的方法也比較簡略,你要前麵不認真看的話說不定就看不懂瞭。 被虐瞭近兩個月終於看完瞭,一開始感覺極其抽象,語法歧義性那章看瞭一個下午纔看懂(雖然還因為彆的原因)。看著看著倒也習慣這種難度瞭,完備性定理看懂瞭之後感覺思路還是很清晰的,要我復述一遍證明也問題不大。總的來說收獲很大。
評分錯誤不多,說的不清楚的地方不少。看這本不如直接去看艾賓浩斯的數理邏輯。
一階邏輯和一階理論 2024 pdf epub mobi 電子書 下載