丁德成

丁德成，男，中国现代学者，教授，博士生导师，任教专业是理学和数学类，主攻，数理逻辑与计算机科学理论，发表许多论文和著作，其中具有代表性作品为《现代逻辑》。

正文

目前承担的科研项目（1）数理逻辑及其应用，国家自然科学基金重点项目（2）计算机逻辑中的Tractable问题，国家高技术发展项目智能计算机主题（863）

参考资料