Dana Scott
Z Wikipedii
Dana Stewart Scott (ur. 1932 r.) informatyk, logik, filozof. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne.
[edytuj] Zobacz też
Niedeterministyczny automat skończony
1966: Alan Perlis • 1967: Maurice V. Wilkes • 1968: Richard Hamming • 1969: Marvin Minsky • 1970: James H. Wilkinson • 1971: John McCarthy • 1972: Edsger Dijkstra • 1973: Charles W. Bachman • 1974: Donald E. Knuth • 1975: Allen Newell, Herbert Simon • 1976: Michael O. Rabin, Dana S. Scott • 1977: John Backus • 1978: Robert W. Floyd • 1979: Kenneth E. Iverson • 1980: C.A.R. Hoare • 1981: Edgar F. Codd • 1982: Stephen A. Cook • 1983: Ken Thompson, Dennis Ritchie • 1984: Niklaus Wirth • 1985: Richard M. Karp • 1986: John Hopcroft, Robert Tarjan • 1987: John Cocke • 1988: Ivan Sutherland • 1989: William Kahan • 1990: Fernando J. Corbató • 1991: Robin Milner • 1992: Butler W. Lampson • 1993: Juris Hartmanis, Richard E. Stearns • 1994: Edward Feigenbaum, Raj Reddy • 1995: Manuel Blum • 1996: Amir Pnueli • 1997: Douglas Engelbart • 1998: James Gray • 1999: Frederick P. Brooks, Jr. • 2000: Andrew Chi-Chih Yao • 2001: Ole-Johan Dahl, Kristen Nygaard • 2002: Ronald L. Rivest, Adi Shamir, Leonard M. Adleman • 2003: Alan Kay • 2004: Vinton G. Cerf, Robert E. Kahn • 2005: Peter Naur • 2006: Frances E. Allen
| Czy samozatrudnieni zrezygnujÄ… z podatku liniowego? |
|
|
| Ministerstwo rolnictwa przyspiesza termin zakazu połowów |
|
Ministerstwo Rolnictwa i Rozwoju Wsi przyspieszy wprowadzenie okresu ochrony dorsza na południowym Bałtyku. Ryby tej nie będzie można łowić już od 22 maja. Zakaz ma obowiązywać do końca września.
|
| ATM zamierza wypłacić 0,14 zł dywidendy |
|
ATM SA planuje wypłatę dywidendy w wysokości 0,14 zł na akcję z zysku za 2007 rok - poinformowała spółka w projektach na WZA, zaplanowane na 30 maja.
|
| Giełdy w zachodniej Europie w górę na koniec tygodnia |
|
Indeksy giełd w zachodniej Europie poszły w górę w piątek, na fali spekulacji co do możliwych akwizycji i przejęć - podają analitycy.
|
| Rentowności polskich obligacji bardzo mocno wzrosły |
|
Mijający tydzień na rynku obligacji był bardzo nerwowy, a rentowności polskich papierów mocno wzrosły. Zdaniem analityków, dobre czasy dla polskich papierów mogą się skończyć na dłuższy czas.
|