数理逻辑 2019-2020秋季学期 2018级计算机科学

任课老师

基本信息

学分:3.0

学时:48

时间:星期五12:55-15:40(1-16周)

地点: 上院103

课程代码:(2019-2020-1)-CS301-1