作者bl2086 (Bingo)
看板logic
標題[出售] 售一本Enderton的數理邏輯
時間Thu Apr 2 16:22:58 2009
想學數理邏輯嗎？本書除了一點立可白之外是9.5成新；第一章講基本的Sentential
Logic，第二章First Order Logic講到歸納（一個語句的真是因為我們可以找到一個
Model來支持它）及演繹（由6組axioms加上前提所推論出來的結果包含此語句）
第三章Undecidability舉出一個已簡化的數論模型並探討其結構，最後帶出Godel第一及
第二不完備性定理（第一個牽扯到一些定義，故從略，第二個是說集合論無法自圓其說
）第四章講Second Order Logic我還沒開始看，這本書是我朋友多買的，$1130購入，
精裝本，欲售$600
意者請打0926-104084找雷先生，無誠勿試，謝謝！
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.229.58.138