当前位置:首页 >> 学术资讯 >> 科研信息

清华大学第六届清华逻辑暑期学校成功举办

2026/07/11

文章导读
你以为逻辑学只是哲学课上的枯燥符号?清华这场暑期学校用两门全英文课程——《因果推理》与《学习与动态逻辑》——狠狠打了这个印象一巴掌。70名来自全球的学生在这里发现,真正能让机器学习“学会因果”的秘密,就藏在那些被大多数AI教材忽略的逻辑法则里。更扎心的是,学生论坛上斯坦福、清华的青年学者已经用这套逻辑框架在语言哲学和认知语义上做出了突破。如果你还在死磕神经网络参数,这篇文章可能会让你意识到自己浪费了多少时间在错误的赛道上。
— 内容由好学术AI分析文章内容生成,仅供参考。

7月3日,为期一周的第六届清华逻辑暑期学校在清华大学圆满落幕。本届暑期学校由清华大学—阿姆斯特丹大学逻辑学联合研究中心主办,开设《因果推理》和《学习与动态逻辑》两门全英文课程,吸引了来自国内外近70名本科生与研究生参与。

清华大学第六届清华逻辑暑期学校成功举办

《因果推理》课程合影

本届暑校还首次举办了学生论坛,来自斯坦福大学、清华大学等高校的青年学者与学生,围绕逻辑、因果、人工智能、语言哲学与认知语义等主题进行交流。

清华逻辑暑期学校由清华大学—阿姆斯特丹大学逻辑学联合研究中心于2021年创办,旨在为全球逻辑学及相关交叉学科领域的青年学者与学生提供高水平的学习与交流平台。历届暑期学校围绕逻辑学核心理论与前沿应用设置课程,涵盖模态逻辑、认知逻辑、因果推理、学习理论、计算复杂性等多个方向,课程均由国内外逻辑学及其交叉领域的知名学者主讲。经过多年发展,清华逻辑暑期学校不仅有效促进了国内外逻辑学界的学术交流,也为推动逻辑学与计算机科学、数学、哲学、语言学、心理学等学科的深度交叉融合发挥了积极作用。


版权声明:
文章来源清华大学,分享只为学术交流,如涉及侵权问题请联系我们,我们将及时修改或删除。

相关学术资讯
近期会议

第六届互联网技术与教育信息化国际学术会议 (ITEI 2026)(2026-07-24)

第五届航空航天工程与系统国际研讨会(ISAES 2026)(2026-07-24)

第十届教育、管理与社会科学国际学术会议 (ISEMSS 2026)(2026-07-24)

第六届电气工程与机电一体化技术国际学术会议(ICEEMT 2026)(2026-07-24)

第五届能源与电力系统国际学术会议 (ICEEPS 2026)(2026-07-24)

2026年第二届光学工程与传感仪器国际学术会议(2026-07-31)

第九届声学、振动、噪声控制国际研讨会(CAVNC 2026)(2026-08-07)

第六届能源演进与电力工程大会:转型·智能·自治(EEPE-TIA 2026)(2026-08-07)

2026年智能医学与图像计算国际会议 (IMIC 2026)(2026-08-21)

2026年机械动力学、振动控制与噪声工程国际会议(ICMDVCNE 2026)(2026-08-22)

2026计算机、数据驱动与软件工程国际会议(CDDSE 2026)(2026-9-3)

2026心理咨询、临床心理学与健康促进国际会议(PCCPHP 2026)(2026-9-26)

2026年大数据技术、教学设计与计算机科学国际会议(BDTIDCS 2026)(2026-8-23)

2026年空间遥感、地球物理学与图像处理国际会议(ISRGP 2026)(2026-8-19)

2026年智能电网、电力系统与环境可持续性国际会议(ISGPE 2026)(2026-9-16)

2026年工业信息学与机器人科学国际学术会议(ICIIR 2026)(2026-8-28)

2026建筑学、农业工程与环境资源国际会议(ICAAEER 2026)(2026-9-14)

2026年环境科学、土壤重金属与污染修复国际会议(ESHMP 2026)(2026-8-29)

2026年电子器件、机械与材料工程国际会议(IEDMME 2026)(2026-8-30)

2026年园林建筑设计与人文发展国际会议(ICLADHD 2026)(2026-8-27)

小贴士:学术会议云是学术会议查询检索的第三方门户网站。它是会议组织发布会议信息、众多学术爱好者参加会议、找会议的双向交流平台。它可提供国内外学术会议信息预报、分类检索、在线报名、论文征集、资料发布以及了解学术资讯,查找会服机构等服务,支持PC、微信、APP,三媒联动。
综合推荐区

AI+大数据算法 智能精准匹配期刊投稿

第五届先进制造技术与制造系统国际学术会议(I.

第七届经济管理与大数据应用国际 学术会议(I.

第二届航空航天、信息技术与控制工程国际学术会.

第七届心理健康与教育、人文发展国际学术会议(.

2026年智能医学和图像计算国际会议(IMI.

第六届光学成像与图像处理国际学术会议 (IC.

2026年第七届控制, 机器人与智能系统国际.

第六届电子信息工程与计算机技术国际学术会议(.

2026年智能机器人与控制技术国际会议(CI.

2026年传感器技术、自动化与智能制造国际会.

第九届计算机信息科学与人工智能国际学术会议(.

第二届先进电子、智能技术与计算国际学术会议(.

2026年IEEE计算机通信、信息系统与网络.

2026年通信, 数据科学与智能计算国际会议.

2026年第五届算法、数据挖掘和信息技术国际.

2026年IEEE第三届先进机器人, 自动化.

2026年人工智能与机器人系统国际会议(IC.

2026年IEEE第六届人工智能、自动化与算.

2026年IEEE人工智能、大数据与云计算国.

2026年第二届电力与可持续能源技术国际会议.

2026IEEE第三届亚洲先进电气与电力工程.

2026年第三届亚洲智能电网,绿色能源与应用.

2026年第九届数据科学和信息技术国际会议(.

2026年IEEE第九届算法, 计算与人工智.

2026年IEEE智能信息, 系统科学与工程.