登录    注册    忘记密码

沈复兴 收藏

导出分析报告

沈复兴,男,1945年5月出生于江苏常熟。1968年毕业于北京师范大学数学系,1981年在北师大数学系获硕士学位,1985年获博士学位,1986年被评为副教授,1992年...   详细>>

研究主题:量词消去    原子模型    P    紧致性定理    完全二叉树    

研究学科:自动化类    机械类    

被引量:70H指数:3

沈复兴,男,1945年5月出生于江苏常熟。1968年毕业于北京师范大学数学系,1981年在北师大数学系获硕士学位,1985年获博士学位,1986年被评为副教授,1992年评为教授,1995年评为博士生导师,1986-1987年赴联邦德国海德堡大学数学系访问研究,1996-1997年赴美国密歇根大学计算机系访问研究。曾任北师大数学系副主任、北师大教务长。现任北师大信息学院常务副院长,全国高等师范院校计算机教育研究会副理事长。他以“人师”为最高职业追求,教书育人,一直从事数理逻辑模型论理论及其应用研究。他“学而不厌,诲人不倦”,深受学生爱戴。在格值逻辑模型论、模型论对数论的应用、模型论判断问题等方面有一系列研究成果。

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心