理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到数理逻辑与数学基础 系统科学相关记录30条 . 查询时间(1.026 秒)
周向宇,研究员、博士生导师,1965年3月生于湖南省郴州市。1981-1985年在湘潭大学数学系本科并获学士学位,1985-1990年在中国科学院数学研究所获硕士、博士学位。1990年起在数学研究所工作,1992年9月起任中科院数学研究所副研究员,1998年9月起任该所研究员、博士生导师。2003年2月至2012年6月担任中科院数学研究所所长,2008年1月至2011年12月任中国数学会副理事长。
王 崧,2002.6.14 获得哲学博士学位;1996.9-2001.8 美国加州理工学院,哲学博士,基础数学专业;1991.9-1992.7 信阳陆军学院,预备役军官;1991.9-1996.7 北京大学,理学学士,数学专业。
遗传变异指不同个体之间在DNA水平上的差异,是物种形成和生物进化的基础。1990年正式启动的人类基因组计划(Human Genome Project, HGP)与曼哈顿原子弹计划和阿波罗计划并称为三大科学计划。作为一项规模宏大,跨国跨学科的科学探索工程,HGP测定了组成人类染色体中所包含的30亿个碱基对组成的核苷酸序列,绘制人类基因组图谱。于2001年发布人类参考基因组的草图,被认为是HGP成功的...
中国科学院数学与系统科学研究院2021年招收攻读博士学位研究生简章。
2019年8月16日-17日,“华为公司&中科院数学院 数学理论与应用论坛”在北京雁栖湖·日出东方酒店顺利召开。论坛由华为北京研究所、中科院数学与系统科学研究院联合主办。公司2012实验室及各产品线的高级专家齐聚雁栖湖畔,与中科院数学院25位相关方向的顶级学者围绕算法、优化、控制、编码、AI、大数据&安全等方向进行了为期两天的深度交流。相信通过本次论坛,华为公司与中科院数学院一定能找到更多的契合点...
杨志霞,女,汉族,中共党员。教授,硕士生导师。2001 年 7 月本科毕业亍 新疆大学,2004 年 7 月硕士毕业亍新疆大学,2007 年 7 月博士毕业亍中国农业 大学,同年 7 月进入中国科学院数学与系统科学研究院博士后流动站工作,2004 年 7 月留校在新疆大学工作至今。2012 年 1 月至 2013 年 1 月美国密西西比州立 大学访问学者。 近年来主要从事的研究方向为最优化方法、机...
副教授,1982年5月生,2004年本科毕业于山东大学数学与系统科学学院计算数学系,2010年研究生毕业于山东科技大学信息学院基础数学系,现就读于山东科技大学测绘学院(博士在读),2004来山东科技大学任教至今。
中国科学院数学与系统科学研究院1999年论文。
中国科学院数学与系统科学研究院1998年论文。
中国科学院数学与系统科学研究院1997年论文。
中国科学院数学与系统科学研究院2013年论文。
中国科学院数学与系统科学研究院专著。
中国科学院数学与系统科学研究院专利。
中国数学会于2017年10月21日揭晓了第十三届华罗庚数学奖、第十六届陈省身数学奖和第十三届钟家庆数学奖的获奖名单。其中,我院戴彧虹研究员荣获“陈省身数学奖”。 “陈省身数学奖”是为了肯定国际数学大师陈省身教授的功绩,激励我国中青年数学工作者对发展我国数学事业做出的贡献,由中国数学会常务理事会决定设立的奖项,其旨在鼓励作出杰出贡献的中青年数学家。 自1986年设立以来,已连续举办了十五届,每届...
2015年11月4日,何梁何利基金2015年度颁奖大会在钓鱼台国宾馆隆重举行。中科院数学与系统研究院吕金虎研究员荣获“何梁何利科学与技术进步奖”,成为今年最年轻的科学与技术进步奖获奖者。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...