留学学业指南鱼之跃 · 按学校规则查

课程

计算理论（荣誉） COMPSCI4072

Theory of Computation (H) · 格拉斯哥 · 本科 · 计算机科学

更新：2026-11-01官方课程页 ↗

本页按「学校 → 本科/硕士 → 专业 → 课程」归集这门课的分析与规则文章。共 1 篇；课程事实以学校官网为准。

格拉斯哥 COMPSCI4072《计算理论（荣誉）》：lambda 与 pi 双演算，80% 考试＋20% 单一作业
格拉斯哥、COMPSCI4072、计算理论、lambda演算、pi演算、类型系统、Curry-Howard对应、计算机科学、课程 · 更新 2026-11-01

← 返回课程库　·　学业指南首页