研究了一阶逻辑元理论的主要成果。检查一致性、完整性和可判定性。讨论有效可计算过程的一般概念、丘奇命题和不可解问题的存在。
先决条件:1115年菲尔最低成绩为D-
发送页面到打印机
打印本页。
2022-2023年本科PDF
2022-23专业研究学院本科生PDF
2022-2023毕业生PDF
2022-2023课程描述PDF