創建詞條
登錄/註冊
丁德成
南京大學教授
丁德成,男,中國現代學者,教授,博士生導師,任教專業是
理學
和數學類,主攻,
數理邏輯
與
計算機科學
理論,發表許多論文和著作,其中具有代表性作品為《
現代邏輯
》。
目錄
1
正文
正文
目前承擔的科研項目(1)數理邏輯及其應用,國家自然科學基金重點項目(2)計算機邏輯中的Tractable問題,國家高技術發展項目智能計算機主題(863)
基本信息
性別
男
職稱
教授
任教專業
理學和數學類
目錄
目錄