\[ \def\Th{\mathrm{Th}} \def\Cn{\mathrm{Cn}} \def\Mod{\mathrm{Mod}} \def\A{\mathfrak{A}} \def\B{\mathfrak{B}} \def\N{\mathfrak{N}} \def\K{\mathcal{K}} \def\lh{\mathrm{lh}} \]
摘要
本文总结了南京大学软件学院 2024-Fall 的数理逻辑期末考点，以供复习参考。
课后习题
复习每次作业习题即可：分类: 2024Fall-数理逻辑 | EagleBear2002 的博客。不在考试范围内的标注了“不考”。
另有：习题3.6 1；2（a);3;4;8
简答题
TODO：待整理答案。
- 简叙Goedel定理的证明思路
- 定理30A的证明思路。
- 定理30A中三元关系R是怎么定义的？其中的符号a,b,c,？其中的推理是如何编码的？
- AE公理集有哪些？分别是什么？
- 可表示、可定义是怎么定义的？他们有什么区别？
- 可表示函数、弱可表示的定义
- 不动点定理的证明思路？
- 解释范式定理中符号e,a,k,Tm,k,k’的意思
