丁德成

南京大學教授

丁德成,男,中國現代學者,教授,博士生導師,任教專業是理學和數學類,主攻,數理邏輯計算機科學理論,發表許多論文和著作,其中具有代表性作品為《現代邏輯》。

目錄

正文


目前承擔的科研項目(1)數理邏輯及其應用,國家自然科學基金重點項目(2)計算機邏輯中的Tractable問題,國家高技術發展項目智能計算機主題(863)