丁德成,男,中國現(xiàn)代學者,教授,博士生導師,任教專業(yè)是理學和數(shù)學類,主攻,數(shù)理邏輯與計算機科學理論,發(fā)表許多論文和著作,其中具有代表性作品為《現(xiàn)代邏輯》。
目前承擔的科研項目(1)數(shù)理邏輯及其應用,國家自然科學基金重點項目(2)計算機邏輯中的Tractable問題,國家高技術發(fā)展項目智能計算機主題(863)
參考資料 >
網站地圖 | | 京ICP備2022000368號