Sets, Logic, Computation: An Open Introduction to Metalogic
简介：
关于一阶逻辑的语义，证明理论和元理论的教科书。它涵盖了朴素的集合论，一阶逻辑，顺序演算和自然推论，完备性，紧凑性和löwenheim-skolem定理，图灵机以及停止问题和一阶逻辑的不可确定性。它基于开放逻辑项目，可免费下载t slc.openlogicproject.org。
英文简介：
A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.
- 书名
- Sets, Logic, Computation: An Open Introduction to Metalogic
- 译名
- 集合、逻辑、计算：元逻辑的开放介绍
- 语言
- 英语
- 年份
- 2021
- 页数
- 433页
- 大小
- 4.75 MB
- 下载
Sets, Logic, Computation: An Open Introduction to Metalogic.pdf- 密码
- 65536
最后更新：2025-04-12 23:58:02