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

任课老师

基本信息

学分:3.0

学时:48

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

地点: 中院211

课程代码:CS301

教学大纲

CS301数理逻辑(2018年秋季)大纲-陈翌佳.doc