理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-3 共查到人物 数理逻辑与数学基础相关记录3条 . 查询时间(2.757 秒)
保继光,北京师范大学数学科学学院,博士生导师,教授。现任教育部高等学校数学类专业教学指导委员会委员,教育部高中数学课程标准修订组成员,教育部高中数学课程标准测试组成员,教育部考试中心高考考试内容改革专家工作委员会委员,中国少数民族数学教育专业委员会副理事长,中国大学先修课程数学专家委员会委员,中国科协、教育部英才计划数学学科导师,北京数学会监事长,北京数学教育中心学术委员会委员,《普通高中课程标准...
杨志霞,女,汉族,中共党员。教授,硕士生导师。2001 年 7 月本科毕业亍 新疆大学,2004 年 7 月硕士毕业亍新疆大学,2007 年 7 月博士毕业亍中国农业 大学,同年 7 月进入中国科学院数学与系统科学研究院博士后流动站工作,2004 年 7 月留校在新疆大学工作至今。2012 年 1 月至 2013 年 1 月美国密西西比州立 大学访问学者。 近年来主要从事的研究方向为最优化方法、机...
胡世华,数理逻辑学家。是中国开展数理逻辑研究的代表人物之一,倡导将逻辑研究与数学紧密联系起来。他也是国内将逻辑研究与计算机设计相结合的倡导人。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...