沈恩绍
上海交通大学计算机科学与工程系教授北京师范大学数学系博士
研究兴趣：计算机科学中的逻辑
个人主页：http://baike.baidu.com/view/5463945.htm
计算机科学导论 (2013学年, 秋季, 2013年级, 计算机科学专业)
课程代码：CS120
学分：4
学时：64
上课地址：上院309
上课时间：星期一14:00-15:40&星期五14:00-15:40
集合论与数理逻辑 (2013学年, 春季, 2012年级, 计算机科学专业)
课程代码：CS026
学分：4
学时：64
上课地址：下院204
上课时间：星期二 14:00-15:40&星期四10:00-11:40
集合论与数理逻辑 (2012学年, 秋季, 2011年级, 计算机科学专业)
课程代码：
学分：
学时：
上课地址：
上课时间：
计算机科学导论 (2012学年, 秋季, 2012年级, 计算机科学专业)
课程代码：
学分：
学时：
上课地址：
上课时间：
