2024年7月29日，永利集团3044官网欢迎您计算机工程与科学学院、通信与信息工程学院、未来技术学院的同学，伴以社会学院、理学院、新闻传播学院的同学，赴英国牛津大学奥利尔学院参加为期两周的以人工智能为主，量子计算、政治经济、古典文化为伴的交流访学项目。半个月来，同学们不仅锻炼了英语交流表达能力，也围绕专业理论及知识表达和逻辑推理主题学到了知识。在交流期间，我校同学与来自北大清华、中国科技大学、四川大学、上海交通大学、复旦大学等等各地高校同学们同台竞技，除课程考核外，在正装晚宴及excursion日等活动中也有广泛接触。
在人工智能课程学习中，同学们深入了解了四个关键主题：时序逻辑、Datalog、非单调推理以及知识图谱，这对提升思维能力和解决问题的能力至关重要。掌握这些逻辑和推理工具，不仅有助于提升日常决策的准确性，还能在编程、数学、哲学和科学研究等领域中发挥关键作用。它们培养了学生的批判性思维，使同学们能够在复杂信息中找出真相，避免逻辑谬误，从而更清晰、有效地解决问题。这种训练对于个人职业发展和学术研究都有着深远的影响。
在牛津，同学们参加了由奥利尔学院主办的英国文化体验活动，诸如参观博物馆等。除了日常的小型活动，在第一周周六，学院组织大家进行三选一的Excursion。同学们可以从伦敦、巴斯、科茨沃尔德中三选一，通过乘坐学院大巴往返，领略英国著名城市的风采。
伦敦
巴斯
科茨沃尔德
在本次奥利尔学院暑期交流项目中，来自各个学院的同学彼此相知相伴，结下了长久的友谊。在英国的两周中，同学们充分感受英国文化氛围，体验当地生活习惯，并且学习牛津大学先进的课堂知识，由此完善性格，拓宽视野，增长才干。相信本次英国行的回忆会永远留在所有同学青春岁月的时光中。
王吴桐同学：准备关于时间逻辑（temporal logic）演讲的过程让我感到既兴奋又挑战重重。在梳理这个主题的过程中，我对时间逻辑的基本概念、应用领域以及它在计算机科学中的重要性有了更深入的理解。时间逻辑作为一种用于表述时间相关性质的形式化语言，它能够有效地描述系统行为随时间变化的动态特征。在准备演讲材料时，我特别关注如何将复杂的理论概念以易于理解的方式传达给听众。通过引入实际案例和图示，能够更好地帮助听众理解这些抽象的概念。同时，我也意识到时间逻辑在程序验证、自动化推理等领域的广泛应用，使我对这个主题的热情进一步增强。总的来说，这次准备的经历让我收获颇丰，也让我更加期待与大家分享我所学到的知识。
柴润添同学：来英国这期间我总共去了牛津和伦敦两个城市，不得不说这两个城市都是充满了文化底蕴。伦敦的大英博物馆和国家美术馆，展出的展品是我前所未见的，带着震撼也是从所未有的。泰晤士河畔是熙熙攘攘的人群，矗立几百年建筑诉说着这个国家辉煌的过往。牛津因牛津大学而文明，几百余年的学术底蕴均匀的涂抹在建筑的每一寸之上。教堂的钟声响个不停，粉红的晚霞映衬着一切。
周师墨同学：在牛津大学奥利尔学院的暑期交流学习期间，我深入探讨了当代政治经济课程，经历了充实而富有挑战的半个月。结业典礼当天，我深感荣幸地从院长手中接过结业证书，握手时院长的鼓励让我倍感自豪。与同学们一起合影留念，记录下了这段难忘的学术旅程。随后，参加了庄重的毕业酒会，大家在优雅的氛围中交流心得，畅谈未来。这一切让我更加坚定了不断追求卓越的信念，同时为我未来的学术与职业发展注入了强大动力。
本次暑期交流项目为永利集团3044官网欢迎您本科生们提供了宝贵的出国学习、访问名校的机会，深入感受到世界顶尖学府的学术特色，在提升学生专业能力的同时达到增加文化修养的效果，助力培养具有国际视野和创新能力的人才，推进永利集团3044官网欢迎您与牛津大学奥利尔学院的学术交流与合作，为学校和学院人才培养和科研发展等奠定良好基础。
