清華新聞網(wǎng)7月7日電 6月27日至7月3日，清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心（以下簡稱“邏輯學(xué)研究中心”）在清華大學(xué)成功舉辦了第二屆清華邏輯暑期學(xué)校（The Second Tsinghua Logic Summer School）活動。暑期學(xué)校通過線上授課方式向國內(nèi)外大學(xué)本科生和研究生開放，旨在推進(jìn)邏輯學(xué)高等教育事業(yè)，通過邏輯學(xué)專題課程進(jìn)行系統(tǒng)教學(xué)、補充課內(nèi)教學(xué)內(nèi)容，活躍學(xué)術(shù)交流。課程實行全英文授課，國內(nèi)外近百名學(xué)生參與了課程的學(xué)習(xí)。
本屆暑期學(xué)校共開設(shè)“邏輯、數(shù)據(jù)與不完全信息”和“混合邏輯的表達(dá)力與推理”兩門課程，涉及與計算機科學(xué)、哲學(xué)和語言學(xué)等學(xué)科交叉研究的前沿領(lǐng)域。
“邏輯、數(shù)據(jù)與不完全信息”課程由加利福尼亞大學(xué)圣克魯茲分校和IBM研究實驗室的克拉提斯教授（PhokionG.Kolaitis）講授，他在數(shù)據(jù)庫系統(tǒng)、計算機科學(xué)中的邏輯和計算復(fù)雜性理論等領(lǐng)域深耕多年，成果頗豐，是2020年阿隆佐·丘奇獎的獲得者之一。在為期一周的課程中，他從基本的關(guān)系數(shù)據(jù)模型和用于數(shù)據(jù)庫查詢的邏輯語言出發(fā)，在介紹基本的計算復(fù)雜性理論之后，深入淺出地介紹了一系列關(guān)于數(shù)據(jù)庫查詢、映射、交換和整合的問題及其計算復(fù)雜性結(jié)果，以及許多該領(lǐng)域的前沿問題。
線上課程講授
“混合邏輯的表達(dá)力與推理”由羅斯柴爾德大學(xué)的白磊本教授（Patrick Blackburn）講授，他的工作主要集中于邏輯及其在語言學(xué)、認(rèn)知科學(xué)和哲學(xué)中的應(yīng)用，是經(jīng)典模態(tài)邏輯教材Modal Logic的合著者之一。他在課程中由淺入深循循善誘，從模態(tài)邏輯的基本內(nèi)容和相關(guān)概念講起，逐步介紹了混合邏輯的語義和推理演算系統(tǒng)，并提綱挈領(lǐng)地講解了完全性證明。以此為基礎(chǔ)，他進(jìn)一步討論了混合邏輯的幾種擴(kuò)張，并對其可判定性、插值性質(zhì)及有窮模型性等性質(zhì)進(jìn)行了講解。最后，他揭示了混合邏輯與時態(tài)邏輯之間的深刻聯(lián)系。
同學(xué)們收獲良多
除了老師講授外，暑期學(xué)校還專門設(shè)計了師生互動環(huán)節(jié)，老師們帶有啟發(fā)性的講解不僅開拓了學(xué)生們的學(xué)術(shù)視野，而且訓(xùn)練了他們的思維能力。在為期一周的緊張學(xué)習(xí)中，同學(xué)們相互交流、共同提高。在暑期學(xué)校結(jié)束之際，同學(xué)們紛紛表示，這是一次難得的學(xué)習(xí)機會，從中收獲良多。
兩門課程分別布置了三次作業(yè)和最后的考試。最終成績的評定將綜合考慮作業(yè)成績和考試成績。參加課程且通過考核的學(xué)員將獲得由邏輯學(xué)研究中心頒發(fā)的結(jié)業(yè)證書。
供稿：人文學(xué)院
編輯：蕭零
審核：呂婷
