| 查看: 1116 | 回复: 13 | |||
| 【奖励】 本帖被评价12次，作者pkusiyuan增加金币 9.6 个 | |||
[资源]
A First Course in Logic
|
|||
|
Contents 1 Propositional logic 1 1.1 What is propositional logic? 1 1.2 Validity, satisfiability, and contradiction 7 1.3 Consequence and equivalence 9 1.4 Formal proofs 12 1.5 Proof by induction 22 1.5.1 Mathematical induction 23 1.5.2 Induction on the complexity of formulas 25 1.6 Normal forms 27 1.7 Horn formulas 32 1.8 Resolution 37 1.8.1 Clauses 37 1.8.2 Resolvents 38 1.8.3 Completeness of resolution 40 1.9 Completeness and compactness 44 2 Structures and first-order logic 53 2.1 The language of first-order logic 53 2.2 The syntax of first-order logic 54 2.3 Semantics and structures 57 2.4 Examples of structures 66 2.4.1 Graphs 66 2.4.2 Relational databases 69 2.4.3 Linear orders 70 2.4.4 Number systems 72 2.5 The size of a structure 73 2.6 Relations between structures 79 2.6.1 Embeddings 80 2.6.2 Substructures 83 2.6.3 Diagrams 86 2.7 Theories and models 89 x Contents 3 Proof theory 99 3.1 Formal proofs 100 3.2 Normal forms 109 3.2.1 Conjunctive prenex normal form 109 3.2.2 Skolem normal form 111 3.3 Herbrand theory 113 3.3.1 Herbrand structures 113 3.3.2 Dealing with equality 116 3.3.3 The Herbrand method 118 3.4 Resolution for first-order logic 120 3.4.1 Unification 121 3.4.2 Resolution 124 3.5 SLD-resolution 128 3.6 Prolog 137 4 Properties of first-order logic 147 4.1 The countable case 147 4.2 Cardinal knowledge 152 4.2.1 Ordinal numbers 153 4.2.2 Cardinal arithmetic 156 4.2.3 Continuum hypotheses 161 4.3 Four theorems of first-order logic 163 4.4 Amalgamation of structures 170 4.5 Preservation of formulas 174 4.5.1 Supermodels and submodels 175 4.5.2 Unions of chains 179 4.6 Amalgamation of vocabularies 183 4.7 The expressive power of first-order logic 189 5 First-order theories 198 5.1 Completeness and decidability 199 5.2 Categoricity 205 5.3 Countably categorical theories 211 5.3.1 Dense linear orders 211 5.3.2 Ryll-Nardzewski et al. 214 5.4 The Random graph and 0–1 laws 216 5.5 Quantifier elimination 221 5.5.1 Finite relational vocabularies 222 5.5.2 The general case 228 5.6 Model-completeness 233 5.7 Minimal theories 239 Contents xi 5.8 Fields and vector spaces 247 5.9 Some algebraic geometry 257 6 Models of countable theories 267 6.1 Types 267 6.2 Isolated types 271 6.3 Small models of small theories 275 6.3.1 Atomic models 276 6.3.2 Homogeneity 277 6.3.3 Prime models 279 6.4 Big models of small theories 280 6.4.1 Countable saturated models 281 6.4.2 Monster models 285 6.5 Theories with many types 286 6.6 The number of nonisomorphic models 289 6.7 A touch of stability 290 7 Computability and complexity 299 7.1 Computable functions and Church’s thesis 301 7.1.1 Primitive recursive functions 302 7.1.2 The Ackermann function 307 7.1.3 Recursive functions 309 7.2 Computable sets and relations 312 7.3 Computing machines 316 7.4 Codes 320 7.5 Semi-decidable decision problems 327 7.6 Undecidable decision problems 332 7.6.1 Nonrecursive sets 332 7.6.2 The arithmetic hierarchy 335 7.7 Decidable decision problems 337 7.7.1 Examples 338 7.7.2 Time and space 344 7.7.3 Nondeterministic polynomial-time 347 7.8 NP-completeness 348 8 The incompleteness theorems 357 8.1 Axioms for first-order number theory 358 8.2 The expressive power of first-order number theory 362 8.3 Gödel’s First Incompleteness theorem 370 8.4 Gödel codes 374 8.5 Gödel’s Second Incompleteness theorem 380 8.6 Goodstein sequences 383 xii Contents 9 Beyond first-order logic 388 9.1 Second-order logic 388 9.2 Infinitary logics 392 9.3 Fixed-point logics 395 9.4 Lindström’s theorem 400 10 Finite model theory 408 10.1 Finite-variable logics 408 10.2 Classical failures 412 10.3 Descriptive complexity 417 10.4 Logic and the P = NP problem 423 Bibliography 426 Index 428 |
回复此楼» 本帖附件资源列表
-
欢迎监督和反馈：小木虫仅提供交流平台，不对该内容负责。
本内容由用户自主发布，如果其内容涉及到知识产权问题，其责任在于用户本人，如对版权有异议，请联系邮箱：xiaomuchong@tal.com - 附件 1 : A_First_Course_In_Logic_.._An_Introduction_to_Model,_Proof_Theory,_Computability,_And_Complexity__-_Shawn_Hedman_-_(_Oxford_University_Press_-_Reprint_with_correction_(1°Ed.2004)_2006_-_pp.449_).pdf
2016-09-14 19:21:39, 6.8 M
» 收录本帖的淘帖专辑推荐
 数学分析 |
» 本帖已获得的红花（最新10朵）
蘑菇点点点» 猜你喜欢
有多少人是今天查系统知道结果的？
已经有17人回复
-
国自然面上复盘~欢迎讨论
已经有6人回复
-
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有4人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急
已经有4人回复
-
基金不中，共勉
已经有5人回复
-
看板上这么多中的，有点像50人群里49个人都是骗子的那种感觉……
已经有3人回复
-
我不理解！
已经有23人回复
-
2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战
已经有10人回复
-
系统查不到
已经有10人回复
-
怎么查啊
已经有5人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 【MATLAB书籍096】《电子器件和放大器电路与MATLAB计算》(英文第2版)【已搜】
已经有41人回复
- 【MATLAB书籍095】《电子器件和放大器电路与MATLAB应用》(英文版)【已搜无重复】
已经有12人回复
- Graduate Texts in Mathematics（GTM）系列书目
已经有12人回复
- 美国大学数学研究生基础课程参考书目
已经有7人回复
- 如何写英文的SCIpaper的几个常用句式
已经有12人回复
- 英语学术论文常用句型
已经有21人回复
- SCI英语
已经有8人回复
- 【分享】[书籍]Mathematics and Its History）【已搜无重复】
已经有2人回复
- Nature发文：国际顶级作者和杂志编辑教您如何更有效的写作和发表论文
已经有23人回复
- 【分享】《美国数学本科生，研究生基础课程参考书目（个人整理）》[DJVU][VERYCD]
已经有16人回复
- 【资源】英语学术论文常用句型That's What we need in an Academic Essay
已经有23人回复
简单回复
2016-09-14 19:25
回复
五星好评 顶一下，感谢分享！
tigou3楼
2016-09-17 19:20
回复
五星好评 顶一下，感谢分享！
applaq4楼
2016-09-17 21:12
回复
五星好评 顶一下，感谢分享！
2016-09-19 08:51
回复
五星好评 顶一下，感谢分享！
2016-09-20 19:13
回复
五星好评 顶一下，感谢分享！
甲先生7楼
2016-09-26 20:17
回复
五星好评 顶一下，感谢分享！
蘑菇点点点8楼
2018-12-19 13:59
回复
mbchen9楼
2019-01-27 09:37
回复
五星好评 顶一下，感谢分享！
1314168apple10楼
2019-04-16 11:29
回复
五星好评 顶一下，感谢分享！
woodhole11楼
2020-03-17 23:39
回复
五星好评 顶一下，感谢分享！
luojun23712楼
2020-03-19 20:59
回复
五星好评 顶一下，感谢分享！
guli052013楼
2020-03-27 22:43
回复
五星好评 顶一下，感谢分享！
liweizk14楼
2020-03-29 04:39
回复
五星好评 顶一下，感谢分享！
