金秋的广以校园迎来了一场关于“计算逻辑”的深度教学。由广以数学与计算机科学系主办的CLAWS 2025计算逻辑与应用冬季课程落幕，特邀来自中国科学院、清华大学和斯坦福大学的顶尖学者，联袂广以资深教师队伍授课，助力学子把握领域前沿创新动态。

该课程采用独特的"基础+进阶"双轨教学模式，从基础理论延伸至前沿应用，为期三天的课程构成了一场高密度的“充电”提升。清华大学金岳霖讲席教授、斯坦福大学Henry Waldgrave Stuart教授范丙申（Johan van Benthem）与清华大学教授、阿姆斯特丹-中国逻辑学讲席教授、清华大学-阿姆斯特丹大学逻辑学联合研究中心主任刘奋荣主讲“图博弈与逻辑设计”课程，中国科学院副教授李大柱讲授“图博弈逻辑”专题。学者们通过理论推演与实例解析相结合的方式，为学子带来一场干货满满的知识盛宴。

广以代理常务副校长、数学与计算机科学系主任Eli Aljadeff教授对到访的专家学者表示真挚欢迎，并与学生们共度了这段充实的学习时光。他表示，此次课程为同学们搭建了与前沿学者开展学科对话的平台，将进一步拓宽学生的国际视野，强化广以在交叉学科领域的教学优势。

这种“烧脑”又沉浸的学习体验赢得了同学们的广泛好评。来自大二数学与计算机科学系的吴同学表示本次课程拓宽了她对计算机逻辑语言的理解，“主讲人会先从小问题引入，再逐渐加深，知识点也与我们的后续课程紧密相关，收获很大。”

全方位、多维度的国际化课程体系是广以人才培养的特色优势。除不定期推出的大师讲座外，日常教学中，讲授课（Lecture）输送国际最新知识体系，小班制习题课（Tutorial）研讨学科核心问题，实验课（Lab）与工作坊（Workshop）则着眼将理论转化为实践的综合技能，多重加持既使学生掌握扎实的专业知识，又强化其批判性思维和创新素养。

课堂之外，学校持续推出就业分享，升学指导，校友对谈等活动，精准对接学术与职业发展需求。自迈入广以校园，学子们便置身于世界级的资源网络中，持续打造面向未来的核心竞争力。

文/图：GTIIT传媒与公共事务部