近日，中國邏輯學(xué)會非經(jīng)典邏輯與計算專委會成立大會在南京航空航天大學(xué)明故宮校區(qū)18號樓舉行。此次會議由南京航空航天大學(xué)非全日制研究生計算機(jī)科學(xué)與技術(shù)學(xué)院承辦，南京航空航天大學(xué)紀(jì)委書記杭育新出席開幕式并致辭。中國科學(xué)院陳國良院士、中國邏輯專家朱梧槚教授、原南航校長朱劍英教授、中國社會科學(xué)院杜國平研究員以及各高校及科研院所非經(jīng)典邏輯與計算方向的教授專家50余人參加了會議。

　　首先，杭育新代表學(xué)校向與會專家學(xué)者表示歡迎，隨后，洪龍教授宣讀了中科院李未院士等專家發(fā)來的賀信。大會審議、表決通過了《中國邏輯學(xué)會非經(jīng)典邏輯與計算專委會章程》，介紹了“非經(jīng)典邏輯與計算專委會”首屆專委會常委基本情況，選舉產(chǎn)生第一屆主任、副主任、秘書長，任命了副秘書長。在選舉結(jié)果公布基礎(chǔ)上，宣布正式成立“非經(jīng)典邏輯與計算專委會”，掛靠單位為南京航空航天大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院，并舉行了揭牌儀式。

　　大會特邀陳國良院士及南京大學(xué)張建軍教授分別作了題為《計算思維-大學(xué)計算教育的振興、科學(xué)工程研究創(chuàng)新》及《蘊(yùn)涵層級論》的主題報告。大會還舉行了4場學(xué)術(shù)報告：中科院半導(dǎo)體所石寅研究員《從近年ISMVL的文章內(nèi)容看多值邏輯電路的發(fā)展態(tài)勢》、西安石油大學(xué)的折延宏副教授《不確定性推理的計量化模型及其粗糙集語義》、西南交通大學(xué)陳樹偉副教授《基于矛盾體分離的動態(tài)自動演繹推理》、南京郵電大學(xué)周寧寧副教授《基于MMTD的圖像處理理論及方法》。

　　非經(jīng)典邏輯與計算專委會的成立為我國邏輯學(xué)平臺建設(shè)、隊伍建設(shè)、在職研究生人才培養(yǎng)和學(xué)術(shù)交流具有很大的推動作用。南航的非經(jīng)典邏輯發(fā)展歷史源遠(yuǎn)流長，專委會掛靠南航計算機(jī)學(xué)院，也為南航計算機(jī)科學(xué)與技術(shù)和軟件工程等學(xué)科發(fā)展注入強(qiáng)力的推進(jìn)劑。