数理逻辑 2014-2015春季学期 2013级计算机科学

任课老师

基本信息

学分:3.0

学时:48

时间:星期四12:55-15:40

地点: 下院103

课程代码:CS301

助教:盛颖(E-mail:sy1415@126.com);冯逸丁(E-mail:heavnfeel@sjtu.edu.cn);王星凯(E-mail:starshine87@126.com);金汶功(E-mail:18918108775@126.com

教学大纲

致远数理逻辑课程大纲.doc