作者bl2086 (Bingo)
看板logic
标题售一本Enderton的数理逻辑
时间Wed Oct 20 14:05:12 2010
书名：A MATHEMATICAL INTRODUCTION TO LOGIC(SECOND EDITION)
作者：Herbert B. Enderton (UCLA)
想学数理逻辑吗？本书保存良好，几近全新！第一章讲基本的Sentential Logic，第
二章First-Order Logic讲到归纳（一个语句的真是因为我们可以找到一个Model来支
持它）及演绎（由6组axioms加上前提所推论出来的结果包含此语句）；而Soundness
and Completeness Theorems证明了归纳法的「真」等於演绎法的「真」。
第三章Undecidability举出一个已简化的数论模型并探讨其结构，最後带出Godel第一及
第二不完备性定理（第一个是说若对(已简化的整)数论当中取一子集A，#A(A中所有句子
的Godel数(利用算术基本定理把每一个句子一对一地对应到唯一的正整数去)所构成的集
合)为recursive(这个定义较难，故从略)，则Cn A(能从A集合中的所有句子推论出来的全
部结论所成之集合)不是一个完备("理论T为complete"的意思是：对於任意句子s，不是s属
於T就是"非s"属於T)的理论。第二个是说集合论无法自圆其说）第四章Second-Order
Logic是把量化论（倒过来写的Ａ表示对於所有、倒过来写的Ｅ表示对於有些）套用到述
词(Predicate)上面去。
本书原以$1130购入，
精装本，欲售$600
意者请打0926-104084找雷先生，无诚勿试，谢谢！
以下是本书的目录：
PREFACE
INTRODUCTION
CHAPTER ZERO Useful Facts about Sets
CHAPTER ONE Sentential Logic
1.0 Informal Remarks on Formal Languages
1.1 The Language of Sentential Logic
1.2 Truth Assignments
1.3 A Parsing Algorithm
1.4 Induction and Recursion
1.5 Sentential Connectives
1.6 Switching Circuits
1.7 Compactness and Effectiveness
CHAPTER TWO First-Order Logic
2.0 Preliminary Remarks
2.1 First-Order Languages
2.2 Truth and Models
2.3 A Parsing Algorithm
2.4 A Deductive Calculus
2.5 Soundness and Completeness Theorems
2.6 Model of Theories
2.7 Interpretations Between Theories
2.8 Nonstandard Analysis
CHAPTER THREE Undecidability
3.0 Number Theory
3.1 Natural Numbers with Successor
3.2 Other Reducts of Number Theory
3.3 A Subtheory of Number Theory
3.4 Arithmetization of Syntax
3.5 Incompleteness and Undecidability
3.6 Recursive Functions
3.7 Second Incompleteness Theorem
3.8 Representing Exponentiation
CHAPTER FOUR Second-Order Logic
4.1 Second-Order Languages
4.2 Skolem Functions
4.3 Many-Sorted Logic
4.4 General Structures
SUGGESTIONS FOR FURTHER READING
LIST OF SYMBOLS
INDEX
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 125.227.222.154