IXThinker·2025-12-12 13:20

歐洲科學院院士清華開講 論可計算性結構與邏輯

清華大學交叉信息院舉辦特邀講座，歐洲科學院院士、新西蘭皇家學會會士、電子科技大學算法與邏輯實驗室主任Khoussainov教授以可計算性、結構與邏輯為題演講，院長姚期智親自主持，師生反應熱烈。

講座背景

講座於12月9日在清華大學交叉信息院舉行，屬該院傑出學者講座系列。主講者Bakh Khoussainov在數理邏輯與理論計算機科學領域深耕多年，曾獲多項學術榮譽，現於電子科技大學主持算法與邏輯實驗室。