Premio Turing: Malsamoj inter versioj

[nekontrolita versio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto
Neniu resumo de redakto
Linio 48:
|-
!1975
|[[Allen Newell]] and <br> [[Herbert A. Simon]]
|Artefarita inteligenteo, [[kogna psikologio]], kaj listo traktado.
|-
!1976
|[[Michael O. Rabin]] and <br> [[Dana Scott|Dana S. Scott]]
|Pro ilia kuna raporto "''Finite Automata and Their Decision Problem''",<ref>{{Cite journal | last1 = Rabin | first1 = M. O. | last2 = Scott | first2 = D. | doi = 10.1147/rd.32.0114 | title = Finite Automata and Their Decision Problems | journal = IBM Journal of Research and Development | volume = 3 | issue = 2 | pages = 114 | year = 1959 | pmid = | pmc = }}</ref> kiu enkondukis valoregan koncepton de [[Nedeterminisma maŝino de Turing|nedeterminisma maŝino]].<ref>{{Cite journal | doi = 10.1145/359810.359816| title = Complexity of computations| journal = Communications of the ACM| volume = 20| issue = 9| pages = 625| year = 1977| last1 = Rabin | first1 = M. O. }}</ref><ref>{{Cite journal | doi = 10.1145/359810.359826| title = Logic and programming languages| journal = Communications of the ACM| volume = 20| issue = 9| pages = 634| year = 1977| last1 = Scott | first1 = D. S. }}</ref>
|-
Linio 80:
|-
!1983
|[[Ken Thompson (computer programmer)|Ken Thompson]] and <br> [[Dennis M. Ritchie]]
|Pro ilia kontribuo pri ĝenerala teorio pri mastrum-sistemo kaj speciale pro krei [[Unix|UNIX]] kaj la [[C (programlingvo)|programlingvon C]].
|-
Linio 92:
|-
!1986
|[[John Hopcroft]] and <br>[[Robert Tarjan]]
|Plano kaj analizo de algoritmo kaj datumstrukturo.
|-
Linio 123:
|-
!1993
|[[Juris Hartmanis]] and <br> [[Richard E. Stearns]]
|Pro ilia pionira raporto, kiu fondis la kampon de [[Kompleksa analitiko|komputada amplekseco]]<ref>{{Cite journal | doi = 10.1145/188280.188379| title = Turing Award lecture: It's time to reconsider time| journal = Communications of the ACM| volume = 37| issue = 11| pages = 95| year = 1994| last1 = Stearns | first1 = R. E. }}</ref>
|-
!1994
|[[Edward Feigenbaum]] and <br> [[Raj Reddy]]
|Granda artefarita-inteligenca sistemo
|-
Linio 155:
|-
!2001
|[[Ole-Johan Dahl]] and <br> [[Kristen Nygaard]]
|Pro iliaj ideoj, kiuj aperigis [[Objektema programado|objekteman programadon]].
|-
!2002
|[[Ron Rivest|Ronald L. Rivest]], <br> [[Adi Shamir]] and <br> [[Leonard Adleman|Leonard M. Adleman]]
|Pro lia genia [[RSA|kontribuo]] por igi [[Publika ŝlosilo|publikŝlosilan kriptologion]] pratkte utila.
|-
Linio 167:
|-
!2004
|[[Vinton G. Cerf]] and <br> [[Robert E. Kahn]]
|Pro pioniri la planadon kaj plenigon de TTT-o. Speciale, pro plenigo de [[TCP-IP]].
|-
Linio 179:
|-
!2007
|[[Edmund M. Clarke]], <br> [[E. Allen Emerson]] and <br> [[Joseph Sifakis]]
|Aŭtomata sistemo por trovi eraron je plano de komputilo
|-