计算机基础 – 数学基础（高级）

本课程深入探讨数学逻辑和形式语言与自动机理论，系统讲解命题逻辑、一阶逻辑、证明系统、形式语言理论、自动机理论及其在计算模型中的应用，旨在培养学生形式化思维方法，理解计算的理论基础。