- [61]计算复杂性,秋学期,2-13周,星期一第11-13节(电院楼/电院楼群3号楼318) ,2-13周,星期一第11-13节(电院楼/电院楼群3号楼318) ,2014-2015
- [62]软件理论概要,春学期,1-16周,星期五第2-4节(电院楼/电院楼群3号楼318) ,1-16周,星期五第2-4节(电院楼/电院楼群3号楼318) ,2014-2015
- [63]计算复杂性高级论题,春学期,3-10周,星期一第11-13节(电院楼/电院楼群3号楼318) 3-10周,星期四第11-13节(电院楼/电院楼群3号楼318) ,3-10周,星期一第11-13节(电院楼/电院楼群3号楼318) 3-10周,星期四第11-13节(电院楼/电院楼群3号楼318) ,2014-2015
- [64]可计算性理论,秋学期,2014-2015
- [65]计算理论,春学期,2-9周,星期二第7-9节(电院楼/电院楼群3号楼318) 2-9周,星期四第7-9节(电院楼/电院楼群3号楼318) ,2-9周,星期二第7-9节(电院楼/电院楼群3号楼318) 2-9周,星期四第7-9节(电院楼/电院楼群3号楼318) ,2013-2014
- [66]可计算性理论,秋学期,2013-2014
- [67]计算理论,春学期,星期一/下午11-13节/电院楼群3-414 ,星期一/下午11-13节/电院楼群3-414 ,2012-2013
- [68]软件理论概要,春学期,星期四/下午11-13节/电信群楼3-318 ,星期四/下午11-13节/电信群楼3-318 ,2012-2013
- [69]程序语言理论,春学期,星期四/下午11-13节/电院楼群3-414 ,星期四/下午11-13节/电院楼群3-414 ,2012-2013
- [70]程序语言理论,春学期,星期四/下午11-13节/电院楼群3-414 ,星期四/下午11-13节/电院楼群3-414 ,2012-2013