《可计算性逻辑》结课报道

首页 > 西方诗歌 > 文章

《可计算性逻辑》结课报道

浏览次数:“”2018年5月31日至6月28日,美国维拉诺瓦大学计算机科学系教授乔治·扎帕日泽博士给中心学生开设了一门学分课程《数理逻辑前沿之可计算性逻辑》。 该课程以每周两次,每次2个学时的形式给同学们讲述了乔治教授研究的新成果可计算性逻辑。

哲学系部分本科生、中心硕士生、部分博士生选修了这门课程。

作为一门有着一定计算机方面以及逻辑方面预备知识的课程,同学们的学习积极性并未受到太大的影响,且很多同学都积极完成了每周的课后作业。

乔治教授对于同学们课后作业的完成质量也进行了肯定。 2018年7月4日,举行了结课考试,中心博士生侯丽萍以及本科生罗玉林同学获得了并列第一的好成绩,并分别得到了乔治教授提供的一千元现金奖励。

最后,感谢乔治·扎帕日泽教授在这一个多月的时间里的教学付出!附:可计算性逻辑短期课程的学习网站:。