Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

诚邀参加第二届清华逻辑学暑期学校(线上线下混合式)

6.27 – 7.3, 2022, 北京,中国

清华大学-阿姆斯特丹大学逻辑学联合研究中心从2021年开始举办逻辑学暑期学校,邀请知名学者授课,向国内外本科生、研究生和青年教师开放。暑期学校旨在为广大学员提供系统学习逻辑学、了解逻辑学领域最新研究进展、开展学术交流的平台,进一步推动逻辑学知识的普及,促进逻辑学与哲学、计算机科学、语言学、数学和认知科学等学科的交叉研究,发展逻辑学教育事业,为未来学术研究培养后备人才。

第二届暑期学校将于2022627日至73举行。由于新冠疫情的影响而无法到清华线下参与的学员可以通过Zoom线上全程参与暑期学校。

课程

本次暑期学校共开设两门课程,“逻辑、数据和不完全信息”与“混合逻辑中的推理与可表达性”。

两门课程均为英文授课,每门课16课时:从6月27日到7月1日五天, 每天三个课时,每课时45分钟并布置相应的课后习题; 7月2日设置答疑课, 7月3日安排考试 。 学员可根据兴趣选修课程。对于参加并完成课程(课程参与+平时作业成绩+考试成绩)的学员,联合研究中心将颁发结业证书。欢迎对逻辑学感兴趣的学生和老师参加。

注册

两门课程均对校内外师生免费开放。请有兴趣参加的各位务必于报名前仔细阅读课程介绍,确保能够在课程开始前基本掌握其中所要求的预备知识,以保证课堂听课与互动效果。以下为具体报名要求:

  1. 在此报名页面填写基本信息;
  2. 报名需推荐人一名,推荐人一般情况下应为报名人所在院校老师;推荐人需发送邮件至xkb@mail.tsinghua.edu.cn确认报名人基本信息与自我陈述内容属实。

为保证课堂效果,每门课容量设置为30人左右。若报名人数过多我们将根据报名人的自我陈述内容进行筛选。清华在校学生可直接通过选课系统注册暑期课程,课程名“逻辑学专题与前沿”(00692241-90)。

报名截止日期:6月 10日;

通知日期:6月15日。

若有疑问请咨询石辰威( scw@mail.tsinghua.edu.cn )。