吳文俊:從寓理于算到機(jī)器證明

吳文俊:從寓理于算到機(jī)器證明

從1956年37歲榮獲首屆國(guó)家自然科學(xué)一等獎(jiǎng),到2006年87歲榮獲邵逸夫國(guó)際數(shù)學(xué)獎(jiǎng),整整半個(gè)世紀(jì)以來(lái),數(shù)學(xué)大師吳文俊不知獲得過(guò)多少?lài)?guó)內(nèi)國(guó)際數(shù)學(xué)和科學(xué)大獎(jiǎng).

作 者： 王渝生 WANG Yusheng   作者單位： 北京市科協(xié)  刊 名： 科技導(dǎo)報(bào)  ISTIC PKU 英文刊名： SCIENCE & TECHNOLOGY REVIEW  年，卷(期)： 2008 26(1)  分類(lèi)號(hào)：   關(guān)鍵詞：  

【吳文俊:從寓理于算到機(jī)器證明】相關(guān)文章：

賀新郎·兵后寓吳_蔣捷的詞原文賞析及翻譯02-28

寓興,寓興歐陽(yáng)詹,寓興的意思,寓興賞析 -詩(shī)詞大全03-13

京城寓懷,京城寓懷張祜,京城寓懷的意思,京城寓懷賞析 -詩(shī)詞大全03-13

洛陽(yáng)感寓,洛陽(yáng)感寓張祜,洛陽(yáng)感寓的意思,洛陽(yáng)感寓賞析 -詩(shī)詞大全03-13

文狀元640高三理改文 理冠軍699最?lèi)?ài)張信哲05-04

聽(tīng)教育專(zhuān)家姚文俊專(zhuān)題報(bào)告心得04-28

初秋寓直三首,初秋寓直三首鄭畋,初秋寓直三首的意思,初秋寓直三首賞析 -詩(shī)詞大全03-13

早春左省寓直,早春左省寓直徐鉉,早春左省寓直的意思,早春左省寓直賞析 -詩(shī)詞大全03-13

渡江云三犯·西湖清明_吳文英_原文及賞析03-01

《旅寓安南》原文及賞析02-27