计算理论导论
Faculty of Arts & Science
Formal languages, automata, computability, program correctness proofs.
形式语言、自动机、可计算性和程序正确性证明。
📌 课程信息来源于 多伦多大学 Handbook，选课建议为 AI 生成仅供参考。请以官方 Handbook 为准。数据更新时间：2026 年 2 月 | WhiteMirror 不对信息准确性承担责任
