12月16日下午,湖南師範大學李榮珩教授應邀做客我院“燈塔論壇”,在特立南210以《淺談基礎邏輯學》為題向學生作了科普報告。論壇由學院黨總支副書記成夏炎主持。
李教授從邏輯學的發展曆史、邏輯規律在生活與學習中的重要地位、數理邏輯等六個方面對基礎邏輯學做了系統介紹。他旁征博引,通過大量例證,詳細闡述了形式邏輯的概念及其應用,并對命題邏輯公理系統、皮亞諾公設、歐氏幾何、公理系統的一緻性與完備性進行了講解。
本場報告啟發了我們如何更科學更周密地思考問題,激發了同學們對邏輯規律的重視和對邏輯學進行更深入了解的興趣。
學院黨總支書記王傑文及學生代表二百餘人聆聽了報告。
附:李榮珩教授簡介
李榮珩,湖南新甯人,湖南師範大學數學與統計學院教授,博士生導師。博士畢業于中國科學院應用數學研究所,師從數學家、國内排序論奠基人、華羅庚教授主要助手的越民義先生。現為中國運籌學會排序專業委員會副理事長、湖南省運籌學會常務理事。主要研究方向是組合最優化問題的複雜性理論、算法設計及其複雜性和近似性分析,主要領域為排序問題、裝箱問題、網絡優化問題及設施選址問題等。是《Discrete Applied mathematics》《Algorithmica》《Journal of the Operational Research Society》《Naval Research Logistics》《應用數學學報》等期刊的審稿人。在《European Journal of Operational Research》《Journal of Combinatorial Optimization》《Optimization》《Theoretical Computer Science》《Journal of the operational research society》等期刊上發表學術論文近20篇,主持國家自科基金面上項目2項、歸國留學基金1項,出版專著1部。美國《數學評論》認為李教授所提出的列表在線訂單排序問題及其成果是排序領域的研究者感興趣的。

