4515年菲尔。先进的逻辑。(4小时)

研究了一阶逻辑元理论的主要成果。检查一致性、完整性和可判定性。讨论有效可计算过程的一般概念、丘奇命题和不可解问题的存在。

先决条件:1115年菲尔最低成绩为D-