<i id='pfats'><div id='pfats'><ins id='pfats'></ins></div></i>
  1. <tr id='pfats'><strong id='pfats'></strong><small id='pfats'></small><button id='pfats'></button><li id='pfats'><noscript id='pfats'><big id='pfats'></big><dt id='pfats'></dt></noscript></li></tr><ol id='pfats'><table id='pfats'><blockquote id='pfats'><tbody id='pfats'></tbody></blockquote></table></ol><u id='pfats'></u><kbd id='pfats'><kbd id='pfats'></kbd></kbd>
  2. <i id='pfats'></i>

        <dl id='pfats'></dl>
        <ins id='pfats'></ins>

        <fieldset id='pfats'></fieldset>
        <acronym id='pfats'><em id='pfats'></em><td id='pfats'><div id='pfats'></div></td></acronym><address id='pfats'><big id='pfats'><big id='pfats'></big><legend id='pfats'></legend></big></address>

        <code id='pfats'><strong id='pfats'></strong></code>

        1. <span id='pfats'></span>

          中國人工智能研究領域開拓者 84歲吉大教授劉敘華逝世

          • 时间:
          • 浏览:19

            中國著名的計算機科學傢,中國人工智能研究領域的開拓者,無黨派人士,第八屆全國政協委員,吉林大學計算機科學系奠基人之一,吉林大學計算機科學與技術學院教授,博士生導師劉敘華同志,於2020年5月11日15時31分與世長辭,享年84歲。

            劉敘華教授1937年3月生於黑龍江哈爾濱市,1961年吉林大學數學系畢業後留校任教,1985至1986年在美國依利諾大學計算機系作訪問學者。曾任吉林大學計算機科學研究所所長、教育部符號計算與知識工程開放實驗室(吉林大學)主任、中國計算機學會理事、人工智能專業委員會副主任、全國高校人工智能研究會會長、國傢自然科學基金委員會計算機學科組成員、國傢教委科技委員會計算機學科組成員、國傢高技術智能計算機研究與開發中心學術委員會委員、中國系統工程學會模糊數學學會常務理事、吉林省計算機學會理事長。

            劉敘華教授在定理機器證明和自動推理等人工智能研究領域進行瞭深入和具有開創性的研究,發表具有國際影響力的論文50餘篇,兩次獲國傢教委科技進步二等獎。在教學方面,劉敘華教授辛勤耕耘,培育瞭一批棟梁之材,是同學們非常景仰的好老師。著有《離散數學》、《定理機器證明》、《模糊邏輯與推理》、《數理邏輯基礎》和《基於歸結方法的自動推理》等著作。獲國傢教委優秀科技成果獎1次;獲吉林省優秀圖書二等獎1次,獲吉林省優秀教學成果二等獎1次、三等獎1次。

            1976年吉林大學計算機科學系成立,劉敘華教授即跟隨王湘浩院士投身計算機科學系的建設,為我國計算機學科的發展兢兢業業、嘔心瀝血,做出瞭卓越貢獻。他的崇高品質和治學精神影響和激勵著一代又一代的學生,也贏得瞭廣大師生員工的愛戴和崇敬。劉敘華教授的風范長存!他的精神永遠活在我們的心中。