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