基本信息
姓名：劉敘華
劉敘華任教專業：工學-計算機科學與技術
在職情況：在
性別：男
所在院系：吉林大學計算機科學與技術學院
代表性著作：《離散數學》、《定理機器證明》、《模糊邏輯與推理》、《數理邏輯基礎》和《基於歸結方法的自動推理》
代表性論文：認識邏輯(3):基於語義tableau的證明理論
專業（網站用）：
所教課程：
研究方向：定理機器證明和自動推理
人物介紹
劉敘華，教授，博士生導師。1937年生，黑龍江哈爾濱人。1961年吉林大學數學系畢業，留校任教。1985～1986年在美國依利諾大學計算機系作訪問學者。曾任吉林大學計算機科學研究所所長、教育部符號計算與知識工程開放實驗室（吉林大學）主任、中國計算機學會理事、人工智慧專業委員會副主任、全國高校人工智慧研究會會長、中國系統工程學會模糊數學學會常務理事、國家自然科學基金委員會計算機學科組成員、國家教委科技委員會計算機學科組成員、國家高技術智慧型計算機研究與開發中心學術委員會委員、吉林省計算機學會理事長。主要從事定理機器證明和自動推理研究工作，發表論文50餘篇。
主要著作
著有《離散數學》、《定理機器證明》、《模糊邏輯與推理》、《數理邏輯基礎》和《基於歸結方法的自動推理》等著作。獲國家教委優秀科技成果獎1次；獲國家教委科技進步二等獎2次；獲吉林省優秀圖書二等獎1次，獲吉林省優秀教學成果二等獎1次、三等獎1次。
