2024年7月29日，万事平台計算機工程與科學學院、通信與信息工程學院👩🏻‍🦽‍➡️、未來技術學院的同學⏯，伴以社會學院、理學院、万事傳播學院的同學，赴英國牛津大學奧利爾學院參加為期兩周的以人工智能為主🧝🏽‍♂️，量子計算、政治經濟、古典文化為伴的交流訪學項目💆🏽‍♂️。半個月來，同學們不僅鍛煉了英語交流表達能力，也圍繞專業理論及知識表達和邏輯推理主題學到了知識。在交流期間👨🏽‍🏫🧕🏼，万事娱乐同學與來自北大清華🤞🏼、中國科技大學、四川大學、上海交通大學、復旦大學等等各地高校同學們同臺競技🥷🏻，除課程考核外，在正裝晚宴及excursion日等活動中也有廣泛接觸。

在人工智能課程學習中，同學們深入了解了四個關鍵主題：時序邏輯、Datalog、非單調推理以及知識圖譜，這對提升思維能力和解決問題的能力至關重要👨🏽‍🏭。掌握這些邏輯和推理工具，不僅有助於提升日常決策的準確性，還能在編程、數學、哲學和科學研究等領域中發揮關鍵作用。它們培養了學生的批判性思維🎈，使同學們能夠在復雜信息中找出真相🔳，避免邏輯謬誤，從而更清晰🧗🏼‍♂️、有效地解決問題🏙🏋🏽‍♂️。這種訓練對於個人職業發展和學術研究都有著深遠的影響。

在牛津🧑🏽‍🎄，同學們參加了由奧利爾學院主辦的英國文化體驗活動，諸如參觀博物館等。除了日常的小型活動，在第一周周六♐️，學院組織大家進行三選一的Excursion。同學們可以從倫敦、巴斯🏋🏻、科茨沃爾德中三選一，通過乘坐學院大巴往返，領略英國著名城市的風采。

倫敦

巴斯

科茨沃爾德

在本次奧利爾學院暑期交流項目中，來自各個學院的同學彼此相知相伴，結下了長久的友誼。在英國的兩周中🤴，同學們充分感受英國文化氛圍，體驗當地生活習慣，並且學習牛津大學先進的課堂知識，由此完善性格，拓寬視野🛴，增長才幹。相信本次英國行的回憶會永遠留在所有同學青春歲月的時光中。

王吳桐同學📤：準備關於時間邏輯（temporal logic）演講的過程讓我感到既興奮又挑戰重重👩🏿‍🎓。在梳理這個主題的過程中😓，我對時間邏輯的基本概念、應用領域以及它在計算機科學中的重要性有了更深入的理解🧒🏽。時間邏輯作為一種用於表述時間相關性質的形式化語言⛹🏿，它能夠有效地描述系統行為隨時間變化的動態特征。在準備演講材料時🏊‍♀️，我特別關註如何將復雜的理論概念以易於理解的方式傳達給聽眾。通過引入實際案例和圖示🔗🤷🏻‍♂️，能夠更好地幫助聽眾理解這些抽象的概念。同時🧙🏽‍♀️🧒🏽，我也意識到時間邏輯在程序驗證、自動化推理等領域的廣泛應用，使我對這個主題的熱情進一步增強🧑🏿‍🌾。總的來說🦸🏻‍♀️，這次準備的經歷讓我收獲頗豐，也讓我更加期待與大家分享我所學到的知識。

柴潤添同學：來英國這期間我總共去了牛津和倫敦兩個城市⚫️，不得不說這兩個城市都是充滿了文化底蘊👕。倫敦的大英博物館和國家美術館👩🏿‍🍼，展出的展品是我前所未見的，帶著震撼也是從所未有的🌯。泰晤士河畔是熙熙攘攘的人群，矗立幾百年建築訴說著這個國家輝煌的過往。牛津因牛津大學而文明👩🏻‍✈️，幾百余年的學術底蘊均勻的塗抹在建築的每一寸之上。教堂的鐘聲響個不停🥉，粉紅的晚霞映襯著一切。

周師墨同學：在牛津大學奧利爾學院的暑期交流學習期間，我深入探討了當代政治經濟課程💇🏼‍♂️，經歷了充實而富有挑戰的半個月。結業典禮當天🏧，我深感榮幸地從院長手中接過結業證書🦹🏼‍♀️👱🏼，握手時院長的鼓勵讓我倍感自豪。與同學們一起合影留念🔧，記錄下了這段難忘的學術旅程📊。隨後🦸‍♂️，參加了莊重的畢業酒會，大家在優雅的氛圍中交流心得，暢談未來。這一切讓我更加堅定了不斷追求卓越的信念🫱💩，同時為我未來的學術與職業發展註入了強大動力。

本次暑期交流項目為万事平台本科生們提供了寶貴的出國學習、訪問名校的機會，深入感受到世界頂尖學府的學術特色，在提升學生專業能力的同時達到增加文化修養的效果，助力培養具有國際視野和創新能力的人才🟥，推進万事平台與牛津大學奧利爾學院的學術交流與合作🚣🏽‍♀️，為學校和學院人才培養和科研發展等奠定良好基礎。