| 4 | 1/1 | 返回列表 |
| 查看: 917 | 回復(fù): 3 | |||
YANGZL金蟲 (小有名氣)
|
[交流]
楊東屏談軟件工程歷史 已有2人參與
|
|
[1]《軟件工程歷史雜談》,楊東屏研究員,2010年7月23日。http://lib.iscas.ac.cn:8080/down ... ering%20History.pdf [2] 《軟件歷史雜談(上)、(下)》,楊東屏研究員,2008年7月2~3日。http://www.is.cas.cn/xwzx/xshd/200806/t20080626_2267441.html 楊東屏,原中國(guó)科學(xué)院軟件所研究員、博士生導(dǎo)師。他是中國(guó)自己培養(yǎng)的最早得到國(guó)際承認(rèn)其學(xué)術(shù)成果的數(shù)學(xué)界的邏輯學(xué)家,也是中美數(shù)理邏輯交流渠道的開拓人。楊先生長(zhǎng)期從事可計(jì)算性理論及計(jì)算復(fù)雜性領(lǐng)域的研究,是第三屆亞洲邏輯會(huì)秘書長(zhǎng),第六屆亞洲邏輯會(huì)主席,并擔(dān)任數(shù)理邏輯雜志《Annals of Pure and Applied Logic》的顧問(wèn)編輯。多年來(lái),楊先生在國(guó)內(nèi)外重要學(xué)術(shù)期刊上發(fā)表了大量論文,多次應(yīng)邀在國(guó)際會(huì)議作學(xué)術(shù)報(bào)告,訪問(wèn)過(guò)哈佛、麻省理工、康奈爾、海德堡等多所國(guó)際名校。http://philo.ruc.edu.cn/logic/zzn081017.htm[ Last edited by YANGZL on 2011-10-3 at 16:42 ] |

主管區(qū)長(zhǎng) (文壇精英)
Hello Kitty
![]() |
專家經(jīng)驗(yàn): +151 |
主管區(qū)長(zhǎng) (文壇精英)
Hello Kitty
![]() |
專家經(jīng)驗(yàn): +151 |
|
| 4 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 289材料與化工(085600)B區(qū)求調(diào)劑 +3 | 這么名字咋樣 2026-03-22 | 4/200 |
|
|---|---|---|---|---|
|
[考研] 289求調(diào)劑 +7 | 懷瑾握瑜l 2026-03-20 | 7/350 |
|
|
[考研] 305分求調(diào)劑(食品工程) +4 | Sxy112 2026-03-21 | 6/300 |
|
|
[考研]
|
2117205181 2026-03-21 | 7/350 |
|
|
[考研] 286求調(diào)劑 +10 | Faune 2026-03-21 | 10/500 |
|
|
[考研] 328求調(diào)劑,英語(yǔ)六級(jí)551,有科研經(jīng)歷 +5 | 生物工程調(diào)劑 2026-03-17 | 9/450 |
|
|
[考研] 0703化學(xué)調(diào)劑 +4 | 妮妮ninicgb 2026-03-21 | 4/200 |
|
|
[考研] 302求調(diào)劑 +12 | 呼呼呼。。。。 2026-03-17 | 12/600 |
|
|
[考研] 265求調(diào)劑 +12 | 梁梁校校 2026-03-19 | 14/700 |
|
|
[考研] 316求調(diào)劑 +6 | 梁茜雯 2026-03-19 | 6/300 |
|
|
[考研] 材料專業(yè)求調(diào)劑 +6 | hanamiko 2026-03-18 | 6/300 |
|
|
[考研] 22408 344分 求調(diào)劑 一志愿 華電計(jì)算機(jī)技術(shù) +4 | solanXXX 2026-03-20 | 4/200 |
|
|
[考研] 一志愿 西北大學(xué) ,070300化學(xué)學(xué)碩,總分287,雙非一本,求調(diào)劑。 +4 | 晨昏線與星海 2026-03-19 | 4/200 |
|
|
[考研] 290求調(diào)劑 +7 | ^O^乜 2026-03-19 | 7/350 |
|
|
[考研] 求調(diào)劑 +3 | eation27 2026-03-20 | 3/150 |
|
|
[考研] 0856調(diào)劑,是學(xué)校就去 +8 | sllhht 2026-03-19 | 9/450 |
|
|
[考研] 0854可跨調(diào)劑,一作一項(xiàng)核心論文五項(xiàng)專利,省、國(guó)級(jí)證書40+數(shù)一英一287 +8 | 小李0854 2026-03-16 | 8/400 |
|
|
[考研] 312求調(diào)劑 +8 | 陌宸希 2026-03-16 | 9/450 |
|
|
[考研] 290求調(diào)劑 +3 | p asserby. 2026-03-15 | 4/200 |
|
|
[考研]
|
zhouzhen654 2026-03-16 | 3/150 |
|