劉聲烈

劉聲烈，（1920 年1月-2010年6月3日）雲南省數學家、計算機科學家、全國優秀教師、省特級勞動模範、雲南師範大學教授。

2010年6月3日凌晨3時許，因病醫治無效於在昆明逝世，享年91歲。 

人物生平

     劉聲烈教授系湖南衡山縣人，1920 年1月出生, 1942年7月於武漢大學數學系畢業，後任教於重慶國立女子師範學院和武漢大學，1948 年2月起執教於昆明師範學院，1948 年8月升為講師，1951 年7月晉升為副救授，1978 年4月晉開為教授，1987 年12月退休。劉聲烈教授1979年評為雲南省勞動模範，1985 年評為雲南省高等學校優秀教師，1989年評為全國優秀教師，1989 年評為雲南省特級勞動模範，1991 年享受國務院政府特殊津貼。        

主要貢獻

 劉聲烈教授在群論、自動機與半群、以及理論計算機科學等方面所作出的成果與貢獻得到了同行的高度評價和關注,在《中國科學》、《數學學報》等刊物上發表論文多篇，並歷任中國電子學會電子計算機學會委員、雲南省計算機學會理事長等職，開創並領導了雲南省計算機科學及套用的研究。   

劉聲烈教授在從教的45年中，講授過《數學分析》、《高等代數》、《理論力學》、《數論》《組合論》、《圖論》、《近世代數》、《群論》、 《形式語言與自動機》、《數理邏輯》、《遞歸函式論》、《人工智慧》、《定理的機器證明》等課程，在理論計算機科學人才培養和學科建設等方面作出貢獻。劉聲烈教授所培養許多品學兼優的研究生，為學科的發展、國家的建設做出了自己貢獻。