作者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