$$ \def\ran{\text{ran}} \def\dom{\text{dom}} \def\FUN{\mathsf{FUN}} \def\card{\mathrm{card\ }} \def\len{\mathsf{len}} \def\size{\mathsf{size}} \def\F{\mathcal{F}} \def\A{\mathfrak{A}} \def\B{\mathfrak{B}} \def\Th{\mathrm{Th}} \def\Cn{\mathrm{Cn}} \def\Mod{\mathrm{Mod}} \def\N{\mathfrak{N}} \def\K{\mathcal{K}} \def\G{\mathcal{G}} \def\lh{\mathrm{lh}} \def\v{\bar{v}} \def\0{\mathbf{0}} \def\bfS{\mathbf{S}} \def\Cons{\mathrm{Cons}} \def\Sb{\mathrm{Sb}} \def\Fr{\mathrm{Fr}} $$
摘要
本文是 2024Fall-数理逻辑 的期末考点合集,包括讲义第 0 章、教材第 1-3 章内容,并标注了考点。
本文添加了一些笔者对知识的理解,这部分注明不是来自讲义或教材,仅供参考。中文版《数理逻辑(第二版)》教材中存在许多翻译错误和公式排版、印刷错误,本文指出了其中一些错误并注明错处。
考试题型: