1樓：
題主是想要知道數理邏輯都要學什麼，哪個階段該看什麼書是吧。我到有個推薦，是Peter 的 teach yourself logic(TYL)，說的是一些書評，各個方向該看什麼書入門，很適合題主的要求，只不過TYL偏向哲學一點，不過這也沒多大關係。還有乙個建議，千萬別看復旦的那本入門！
千萬別看復旦的那本入門！千萬別看復旦的那本入門！
祝您在邏輯路上能收穫豐滿 : )
2樓：小火人
學CS真不需要從馮琦那本開始，工業有翻譯的那本面向計算機的數理邏輯我看就不錯。
有時候不要被別人的需求帶上歧路了，最經典的不一定是最適合你的，你最需要的才是最適合你的。
3樓：fjdk eim
如果你只關心CS裡的邏輯，那麼學一遍入門級的數理邏輯就可以去看CS方面的書了，需要掌握的內容大致包括一階謂詞演算的語義和語法、可靠性和完全性定理、緊緻性定理、哥德爾不完全性定理。讀tapl不需要任何基礎，除了mathematical maturity。任何書都不要讀中文翻譯版。
4樓：馬蹄北去
Enderton那本其實不太入門，二百多頁的篇幅直接就到不完全定理了（還附帶一點非標準分析和高階邏輯），真要入門的話我推薦徐明老師的《符號邏輯講義》，這本講到一階邏輯（可靠性，完全性），之後可以看馮琦老師的《數理邏輯導引》，基本就可以解決不完全定理之前的部分了。至於說四大論的內容，一些基礎知識在不完備定理的證明裡都有涉及，但是深入學習的就要找專門的課本了
問個哲學問題？
魯新奎 總有個盡頭 說的好。任何無限都是不知其限。任意大 任意小 最大 最小等等都是具體的確定的，無限 無限大 無窮小 無限可分 無窮趨近等等都不是具體的確定的，都不可完成，就達不到極限，也不適用於嚴格的一一對應。數學中所有關於無窮的理論，都偷換了 無限 與 任意 比任意小還小或大 仍然是任意小或大...
問個關於基因的問題？
TLGriMK1 不能單純的把基因的作用無限擴大化，因為人在社會中的情感交流方式與後天家庭環境，教育，還有社交關係息息相關，這些與基因基因組合起來才是人格的形成原因。 賈名 人個性的形成受基因和環境兩方面的共同作用，雖然很難確定兩者的具體比重，但是肯定不是完全取決於基因的，所以說不能說是刻在基因裡。...
問個很嚴肅的問題。？
穗歲 嚴肅來說這是法律存在的漏洞以致於有些人利用此來作為自己脫身的藉口，中國法制建設正在一步一步趨於完善，法律制定的區別化會讓法律制定的更為細緻，法律之網的查漏補缺，會讓一切罪惡得到應有的懲罰，天網恢恢，疏而不漏。 大庭葉藏 理論上來說單次事故難以造成多次碾壓傷害 一般來說出現同一車輛多次碾壓的可以...