本報訊（記者 閆鍇）12月25日上午，“科學與中國”院士專家巡講在閩南師范大學舉辦。中國科學院院士，中國科學院軟件研究所研究員、博士生導師，計算機科學國家重點實驗室主任林惠民受邀做題為《計算與智能》的專題報告。

林惠民長期從事計算機程序研究特別是并發程序的形式語義學及形式化方法的研究，在進程代數的驗證工具、消息傳送進程的語義理論和π演算的公理化等方向上取得突破性進展。

報告中，林惠民院士分別從“計算”“智能”“倫理”等方面與在場師生分享了計算機科技的發展史及智能技術的利弊。從希爾伯特計劃的故事背景引出計算的概念，并介紹了數學界的偉大發現，科普人工智能的基本知識，以通俗易懂的例子、深入淺出的解讀，引發師生思考計算與智能的關系及本質。

“科學與中國”院士專家巡講活動是由中國科學院發起，并與中宣部、教育部、科技部、中國工程院、中國科學技術協會等部委共同主辦的高層次公益性科普活動，邀請院士專家進機關、進學校、進企業做科普報告，旨在讓科學親近公眾，讓公眾理解科學，促進公眾科學素質的提高。本次活動由省科協協辦，市科協、閩南師范大學承辦。

2020-12-26 01要聞

http://zzxww.com/pc/content/202012/26/content_36577.html