数学家吴文俊，1940年毕业于第一交通大学(现西安交通大学和上海交通大学的前身)。1949年获法国国家科学研究中心博士学位。1957年选聘为中国科学院院士(学部委员)。1991年当选为第三世界科学院院士。他是中国数学机械化研究的创始人之一。70年代创立了定理机器证明的“吴方法”，有重要应用价值，它将引起数学研究方式的变革。2000年获首届国家最高科学技术奖。
吴文俊
责任编辑：Winnie
发表时间：2012年11月13日 16:11
浏览次数：1628
No.A654
亲，发现文中的错误不要不好意思告诉我们，纠错成功，你将获得50~200个金星币的奖励哦~ 我要纠错
声明：本内容为金星教育原创或整理，未经书面授权，禁止以任何方式转载，违者必究！
上一篇：
无
下一篇：
能力点一 利用“和倍问题”巧求两数
二 除数是一位数的除法
解决问题三年级数学（下）-人教版
- 一 位置与方向（一）
- 二 除数是一位数的除法
- 三 复式统计表
- 四 两位数乘两位数
- 五 面 积
- 六 年、月、日
- 微课精讲
- 七 小数的初步认识
- 八 数学广角-搭配（二）
- 九 总复习
