- [81]可计算性理论(A类),春学期,2010-2011
- [82]并行理论,秋学期,星期一/下午11-13节/电院楼群3-416 星期四/下午11-13节/电院楼群3-416 ,星期一/下午11-13节/电院楼群3-416 星期四/下午11-13节/电院楼群3-416 ,2009-2010
- [83]算法原理,春学期,2009-2010
- [84]并行理论,秋学期,2009-2010
- [85]可计算性理论(A类),春学期,2009-2010
- [86]并行理论,秋学期,星期一/下午11-13节/电院楼群3-416 星期四/下午11-13节/电院楼群3-416 ,星期一/下午11-13节/电院楼群3-416 星期四/下午11-13节/电院楼群3-416 ,2008-2009
- [87]算法原理,春学期,2008-2009
- [88]并行理论,秋学期,2008-2009
- [89]并行理论,秋学期,星期一/下午11-13节/电院楼群3-416 星期三/下午11-13节/电院楼群3-416 ,星期一/下午11-13节/电院楼群3-416 星期三/下午11-13节/电院楼群3-416 ,2007-2008
- [90]程序语言理论,春学期,2007-2008