PowerPoint Presentation

Size: px

Start display at page:

Download "PowerPoint Presentation"

姹赏妆项
5 years ago
Views:

1 Alan Turing Smith U-

2 Alan Turing , 1946 OBE

3 Alan Turing

4 Turing (Trinity College ) (King s College) 40 gross indecency

5 Alan Turing Colossus

6 Alan Turing Enigma

7 Turing Award 1966 ACM 1947 IEEE Computer Society Turing 1, 2 ( ) 02 3 (RSA, Rivest, Shamir, Adelman ), (Andrew Yao,, 2000 )

8 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) ALGOL 1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge EDSAC 1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased) 1969 Marvin Minsky --- PhD, Princeton, Prof, MIT 1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London ACE

9 John McCarthy --- PhD, Princeton; Prof, Stanford LISP 1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin 1973 Charles W. Bachman --- staff, Honeywell 1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford TEX( ) 1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased) Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)

10 Michael O. Rabin --- PhD, Princeton; Prof, Harvard Dana S. Scott --- PhD, Princeton; Prof, CMU 1977 John Backus --- BS, Columbia; staff, IBM FORTRAN BNF 1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford 1979 Kenneth E. Iverson APL C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)

11 Edgar F. Codd --- PhD, Michigan; staff, IBM 1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto NP-Completeness 1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs C UNIX 1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich EULER ALGOL-W MODULA PASCAL 1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley.

12 John E. Hopcroft --- PhD, Stanford; Prof, Cornell and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton 1987 John Cocke --- staff, IBM RISC 1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun 1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley 1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT CTSS Multics

13 Robin Milner --- Prof, Cambridge (was at U Edinburgh) (LCF) ML (CCS) 1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft 1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany Raj Reddy --- PhD, Stanford; Prof, CMU Edward Feigenbaum (PhD, CMU; Prof, Stanford).

14 Manuel Blum --- PhD, MIT; Prof, Berkeley Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU Temporal Douglas Engelbart --- PhD, Berkeley; staff, SRI James Gray --- PhD, Berkeley; staff, Microsoft Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC.

15 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton. (, ) 2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo SIMULA I SIMULA 67, Ronald L. Rivest: PhD, Stanford; MIT;Adi Shamir: PhD, Weizmann; Leonard M. Adelman : PhD, Berkeley; USC (RSA ) Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC) Smalltalk.

16 UIUC

18 (1) 1972 E.W.Dijkstra Burroughs Dijkstra PV goto 1974 D.E.Knuth stanford KMP LR(k) Tex 1976 M.O.Rabin & D.S.Scott A.Church Rabin Scott: 1978 R.W.Floyd Stanford Heap-sort Floyd

19 (2) 1980 C.A.R.Hoare (Oxford (now at Microsoft)) CASE While Quick-sort 1983 ACM 1/4 25 Hoare Dijkstra 1982 S.A.Cook Toronto NP N.Wirth = + Extended BNF, Pascal 1985 R.M.Karp UC-Berkeley Held Rabin-Karp Edmonds-Karp NP- Karp

20 (3) 1986 J.E.Hopcroft (Cornell) & R.E.Tarjan Princeton (e.g. ), Hopcroft Ullman Aho Ullman 2-3 Tarjan D.E.Knuth Union-find e.g J.Hartmanis (Cornell) & R.E.Stearns (Albany) Hartmanis Hartmanis Hartmanis Stearns

21 (4) 1995 M.Blum UC-Berkeley M.O.Rabin MIT e.g. Blum e.g Andrew Yao Princeton e.g Ronald L. Rivest, Adi Shamir, Leonard M. Adelman RSA

22 Turing Test , ( ) 25 30

23 James Gray 12 1., ( ) 2. : 30%

24 James Gray % 12. (a) 1000 (b) (c)

25 ( )

第一篇网络管理基础

第一篇网络管理基础第一部分计算机组成与结构第 1 章计算机发展历史计算的历史十分悠久, 可以追朔到原始人用手指计算石头计算或结绳计算, 当文化越来越复杂社会越来越进步, 计算工具也在相应变化, 现代计算机的出现就源于这种需求计算机无疑是