• 时 间：上午 9:30-11:30
• 主讲人：傅育熙教授　
• 主 题：Simple Sets and Post's Problem
• 地 点：电院３号楼-318室

• 时 间：上午 9:30-11:30
• 主讲人：黄炫圭
• 主 题：Oracle Constructions of Non-R.E. Degree
• 地 点：电院３号楼-318室

• 时 间：上午 9:30-11:30
• 主讲人：尹强
• 主 题：The Finite Injury Priority Method
• 地 点：电院３号楼-318室

“可计算理论”课件可在http://basics.sjtu.edu.cn/~yuxi/teaching/computability2013/ 下载。