| 查看: 1109 | 回复: 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 杨东屏，原中国科学院软件所研究员、博士生导师。他是中国自己培养的最早得到国际承认其学术成果的数学界的逻辑学家，也是中美数理逻辑交流渠道的开拓人。杨先生长期从事可计算性理论及计算复杂性领域的研究，是第三届亚洲逻辑会秘书长，第六届亚洲逻辑会主席，并担任数理逻辑杂志《Annals of Pure and Applied Logic》的顾问编辑。多年来，杨先生在国内外重要学术期刊上发表了大量论文，多次应邀在国际会议作学术报告，访问过哈佛、麻省理工、康奈尔、海德堡等多所国际名校。http://philo.ruc.edu.cn/logic/zzn081017.htm[ Last edited by YANGZL on 2011-10-3 at 16:42 ] |
回复此楼» 猜你喜欢
2027广东省杰青
已经有5人回复
-
快农历七夕节了，轻松一下，男人悄悄话，女施主请不要进来。
已经有3人回复
-
哪位老哥知道今年的国自然具体哪一天放榜？
已经有9人回复
-
欢迎发来filecode的Mz6后的代码验证其规律
已经有72人回复
-
咱们一起用铁证分析2026国家社科基金中标与否
已经有26人回复
-
我的国基提前知道中了，可是同事的操作让我实在接受不了，怎么会有这样的人
已经有16人回复
-
有时候，自然基金真的不能太认真 （我的申报经验）
已经有12人回复
-
招聘 金属平磨液，抛光液研发工程师
已经有3人回复
-
时间戳又变了8-15
已经有23人回复
-
filecode=后面第一个是大写字母
已经有7人回复
curton
主管区长 (文坛精英)
Hello Kitty
-
专家经验: +151 - 应助: 195 (高中生)
- 贵宾: 49.033
- 金币: 81393.8
- 散金: 25181
- 红花: 225
- 沙发: 109
- 帖子: 20300
- 在线: 15504.4小时
- 虫号: 950839
- 注册: 2010-01-30
- 性别: GG
- 专业: 电力电子学
- 管辖: 科研生活区
2楼2011-10-03 19:12:34
curton
主管区长 (文坛精英)
Hello Kitty
-
专家经验: +151 - 应助: 195 (高中生)
- 贵宾: 49.033
- 金币: 81393.8
- 散金: 25181
- 红花: 225
- 沙发: 109
- 帖子: 20300
- 在线: 15504.4小时
- 虫号: 950839
- 注册: 2010-01-30
- 性别: GG
- 专业: 电力电子学
- 管辖: 科研生活区
3楼2011-10-03 19:17:37
 |
4楼2012-01-18 23:35:22
