Current position: Home >> Teaching Research >> Teaching Information
张南

Personal Information:

Professor   Supervisor of Doctorate Candidates   graduate teacher  

Teaching Information

Undergraduate Course

Course Name School Year Semester Required Class Hours Credits Course Number
编译原理 2016-2017 Spring Term 48 3 CS3010
编译原理 2014-2015 Spring Term 64 4 CS3121914

Postgraduate Course

Course Name School Year Semester Required Class Hours Credits Course Number
程序的形式语义与验证 2018-2019 Autumn Term 48 3 X19CS1004
程序的形式语义与验证 2018-2019 Autumn Term 48 3 X19CS0004
程序的形式语义与验证 2016-2017 Spring Term 48 3 X19CS1004
程序的形式语义与验证 2016-2017 Spring Term 48 3 X19CS0004
程序的形式语义与验证 2015-2016 Spring Term 48 3 X19CS0004
程序的形式语义与验证 2015-2016 Spring Term 48 3 X19CS1004