數理邏輯 在線電子書 圖書標籤: 數理邏輯  數學  邏輯學  邏輯  哲學  數理邏輯入門  教材  邏輯哲學   

喜歡 數理邏輯 在線電子書 的讀者還喜歡

• 
  數理邏輯通俗講話 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  集閤論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  哲學邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Set Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理語言學 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Introduction to Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數學哲學 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載

2016下半年旁聽課半途而廢，現在趁閑繼續讀讀。計劃到第六章最終看到第七章。//自學這樣一門課（大基礎科目）果然還是太睏難啊。一方麵大框架大思路雖然寫瞭很多話但自己看不一定真能理解對；另一方麵證明的細節還是經常令人抓狂。//依照一階邏輯（基本就是數學邏輯）的語言，能證明的事情和能觀察到正確的事情一樣多。語法推演和語義蘊含蠻有趣的特彆是能學到一堆看起來就很高端的符號！這塊的證明雖不能完全看懂但還總體可以，都是數學的做法。第七章講基礎遞歸、可計算性和圖靈機，規則少模型簡單但功能強大，還是能得到許多不平凡的結論。//書本身寫得還比較詳盡，當然自學依然有睏難。最後，特討厭“證明見習題”，習題寫“證明XXX定理”這種幾乎廢話的設置。希望未來能繼續學到哥德爾不完全性定理吧。

翻瞭一遍基本上是確定瞭我無法學這科目，完全用符號來推進的，完全數學的方法。而我關心的是如何確立，如何與現實對照。對於抽象的數學推理我完全不入此道。

2016下半年旁聽課半途而廢，現在趁閑繼續讀讀。計劃到第六章最終看到第七章。//自學這樣一門課（大基礎科目）果然還是太睏難啊。一方麵大框架大思路雖然寫瞭很多話但自己看不一定真能理解對；另一方麵證明的細節還是經常令人抓狂。//依照一階邏輯（基本就是數學邏輯）的語言，能證明的事情和能觀察到正確的事情一樣多。語法推演和語義蘊含蠻有趣的特彆是能學到一堆看起來就很高端的符號！這塊的證明雖不能完全看懂但還總體可以，都是數學的做法。第七章講基礎遞歸、可計算性和圖靈機，規則少模型簡單但功能強大，還是能得到許多不平凡的結論。//書本身寫得還比較詳盡，當然自學依然有睏難。最後，特討厭“證明見習題”，習題寫“證明XXX定理”這種幾乎廢話的設置。希望未來能繼續學到哥德爾不完全性定理吧。

兩學期容量的教材，內容止於1940年。詳細閱讀到第五章一階語言的結構和真值理論。最強大的一階語言，把丘奇可計算理論推到極限的是ACL2，中文資料一個字也沒有，唯一能找到的是冰河田春12年前的抱怨。

：）

这是一本教案，不是一本适合自学的书，而且作为教案，是很有参考价值的，但是如果按着书上这样就这样推进下去（而教师本身又不随时补给学生一点东西）的话会是教学的车祸现场。 先说一下优点。这本书的野心很大，除了覆盖传统教材的内容外，还要给出哥德尔第二定理的详细证明。...  

作者里面写了很多无关痛痒的说明，看来是教学时候遇到一些问题的集中总结，看着还是蛮有意思的。 总体来说你要是学过一遍一阶逻辑再看这本书还是有点益处的，篇幅小，又有那么多说明帮新手去排雷，而且讲法也是四平八稳哲学系的讲法，句法语义一开始就分得很清楚，包括了重要定...  

作者里面写了很多无关痛痒的说明，看来是教学时候遇到一些问题的集中总结，看着还是蛮有意思的。 总体来说你要是学过一遍一阶逻辑再看这本书还是有点益处的，篇幅小，又有那么多说明帮新手去排雷，而且讲法也是四平八稳哲学系的讲法，句法语义一开始就分得很清楚，包括了重要定...  

作者里面写了很多无关痛痒的说明，看来是教学时候遇到一些问题的集中总结，看着还是蛮有意思的。 总体来说你要是学过一遍一阶逻辑再看这本书还是有点益处的，篇幅小，又有那么多说明帮新手去排雷，而且讲法也是四平八稳哲学系的讲法，句法语义一开始就分得很清楚，包括了重要定...  

作者里面写了很多无关痛痒的说明，看来是教学时候遇到一些问题的集中总结，看着还是蛮有意思的。 总体来说你要是学过一遍一阶逻辑再看这本书还是有点益处的，篇幅小，又有那么多说明帮新手去排雷，而且讲法也是四平八稳哲学系的讲法，句法语义一开始就分得很清楚，包括了重要定...