24小时热门版块排行榜    

查看: 910  |  回复: 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 ]
回复此楼

» 猜你喜欢

真傻(求真)
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

curton

主管区长 (文坛精英)

Hello Kitty

优秀区长优秀区长优秀区长优秀区长优秀版主优秀版主



支持一下
2楼2011-10-03 19:12:34
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

curton

主管区长 (文坛精英)

Hello Kitty

优秀区长优秀区长优秀区长优秀区长优秀版主优秀版主



支持一下
3楼2011-10-03 19:17:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
4楼2012-01-18 23:35:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 YANGZL 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 0703化学调剂 ,六级已过,有科研经历 +8 曦熙兮 2026-03-15 8/400 2026-03-17 20:31 by xilongliang
[考研] 268求调剂 +8 一定有学上- 2026-03-14 9/450 2026-03-17 17:47 by laoshidan
[考研] 材料专硕306英一数二 +7 z1z2z3879 2026-03-16 9/450 2026-03-17 17:31 by ccjequ
[硕博家园] 湖北工业大学 生命科学与健康学院-课题组招收2026级食品/生物方向硕士 +3 1喜春8 2026-03-17 5/250 2026-03-17 17:18 by ber川cool子
[考研] 26考研求调剂 +6 丶宏Sir 2026-03-13 6/300 2026-03-17 16:13 by 醉在风里
[考研] 一志愿南京大学,080500材料科学与工程,调剂 +4 Jy? 2026-03-16 4/200 2026-03-17 11:02 by gaoqiong
[考研] 289求调剂 +6 步川酷紫123 2026-03-11 6/300 2026-03-17 10:23 by Sammy2
[考研] 267一志愿南京工业大学0817化工求调剂 +6 SUICHILD 2026-03-12 6/300 2026-03-17 09:24 by 雾散后相遇lc
[考研] 化学调剂0703 +8 啊我我的 2026-03-11 8/400 2026-03-16 17:23 by 我的船我的海
[考研] 环境工程调剂 +6 大可digkids 2026-03-16 6/300 2026-03-16 17:16 by barlinike
[考研] 304求调剂 +3 曼殊2266 2026-03-14 3/150 2026-03-16 16:39 by houyaoxu
[教师之家] 焦虑 +7 水冰月月野兔 2026-03-13 9/450 2026-03-16 10:00 by Quakerbird
[考研] 331求调剂(0703有机化学 +5 ZY-05 2026-03-13 6/300 2026-03-14 10:51 by Jy?
[考研] 290求调剂 +9 ADT 2026-03-11 9/450 2026-03-13 21:55 by JourneyLucky
[考研] 333求调剂 +3 球球古力 2026-03-11 3/150 2026-03-13 21:27 by JourneyLucky
[考研] 281求调剂 +9 Koxui 2026-03-12 11/550 2026-03-13 20:50 by Koxui
[考研] 301求调剂 +6 Liyouyumairs 2026-03-11 6/300 2026-03-13 20:11 by JourneyLucky
[考研] 工科调剂 +4 Jiang191123! 2026-03-11 4/200 2026-03-13 15:15 by Miko19
[考研] 化工学硕306求调剂 +9 42838695 2026-03-12 9/450 2026-03-13 10:16 by houyaoxu
[考博] 2026年博士申请 +3 QwQwQW10 2026-03-11 3/150 2026-03-12 17:58 by gxch43
信息提示
请填处理意见