IXThinker·2025-05-13 23:30

圖靈班開設前沿講座 程序語言與證明入門

圖靈班新設CS Frontier Tutorial系列科研活動，每期邀請老師或學長學姐概述計算機科學的前沿領域並分享見解，本期主題為程序語言與證明，旨在幫助同學深入了解具體的前沿方向。

活動定位獨特

有別於專業課第一堂課的導論，或聚焦單一成果的學術報告，CS Frontier Tutorial希望幫助同學了解並深入一個具體的前沿領域，在廣度與深度之間取得平衡。