劉敘華

劉敘華，教授，博士生導師。1937年生，黑龍江哈爾濱人。1961年吉林大學數學系畢業，留校任教。1985～1986年在美國依利諾大學計算機系作訪問學者。主要從事定理機器證明和自動推理研究工作，發表論文50餘篇。

基本介紹

• 中文名：劉敘華
• 國籍：中國
• 民族：漢族
• 出生日期：1937年
• 性別：男
• 籍貫：黑龍江哈爾濱

社會職務

曾任吉林大學計算機科學研究所所長、教育部符號計算與知識工程開放實驗室（吉林大學）主任、中國計算機學會理事、人工智慧專業委員會副主任、全國高校人工智慧研究會會長、中國系統工程學會模糊數學學會常務理事、國家自然科學基金委員會計算機學科組成員、國家教委科技委員會計算機學科組成員、國家高技術智慧型計算機研究與開發中心學術委員會委員、吉林省計算機學會理事長。

主要著作

著有《離散數學》、《定理機器證明》、《模糊邏輯與推理》、《數理邏輯基礎》和《基於歸結方法的自動推理》等著作。獲國家教委優秀科技成果獎1次；獲國家教委科技進步二等獎2次；獲吉林省優秀圖書二等獎1次，獲吉林省優秀教學成果二等獎1次、三等獎1次。