离散数学
数理逻辑
理论计算机科学基础
计算复杂性
操作系统
人工智能
人工智能逻辑学
软件 agent
软件理论与方法
分布式计算与网络
讨论班： 智能软件
已毕业学生
招生情况（不再招生，请勿报名）