陈翌佳
复旦大学教授德国弗莱堡大学博士
研究兴趣：逻辑与复杂性
个人主页：http://www.cs.fudan.edu.cn/?page_id=10343
数理逻辑 (2020学年, 秋季, 2019年级, 计算机科学专业)
课程代码：(2020-2021-1)-CS301-1
学分：3
学时：48
上课地址：下院113
上课时间：星期五12:55-15:40(1-16周)
数理逻辑 (2019学年, 秋季, 2018年级, 计算机科学专业)
课程代码：(2019-2020-1)-CS301-1
学分：48
学时：3
上课地址：上院103
上课时间：星期五12:55-15:40（1-16周）
数理逻辑 (2018学年, 秋季, 2016年级, 计算机科学专业)
课程代码：CS301
学分：3
学时：48
上课地址：中院211
上课时间：星期五12:55-15:40
数理逻辑 (2018学年, 秋季, 2017年级, 计算机科学专业)
课程代码：CS301
学分：3
学时：48
上课地址：中院211
上课时间：星期五12:55-15:40
