Kiel registrite je 23:00, 11 mar. 2017 redakti 8zu (diskuto \| kontribuoj) 293 redaktoj →‎Eksteraj ligiloj: orgigi ← Iru al antaŭa ŝanĝo		Kiel registrite je 04:26, 13 mar. 2017 redakti malfari 8zu (diskuto \| kontribuoj) 293 redaktoj kialoj Etikedo: Vida redakto Iru al sekvanta ŝanĝo →
Linio 1: '''Premio Turing''' (angle: ACM A.M. Turing Award) estas fondita en 1966 de la [[Asocio pri Komputila Maŝinaro]], donita ĉiujare al gravaj kontribuantoj de daŭra valoro al [[Komputado\|komputoscienco]]. La premio nomiĝas pro memorigi la pioniron de komputado, anglan scienciston [[Alan Turing]]. Ĝi estas la plej grava premio en la kampo. Ĉiujare la [[ACM (asocio)\|ACM]] (angle: Association for Computing Machinery) (Asocio de Komputila Maŝinaro) donas la Premion [[Alan Turing\|Turing]] (kaj [[usona dolaro\|USD]] 25.000) al homo kiu faris gravan kontribuon de daŭra valoro al [[komputiko]]. Ĝis 2014 Novembro 13-a, [[Intel]] kaj [[Guglo]] kune kontribuadis al la donacon de 250 000 [[Usona dolaro\|USD]]. Sed Intel poste ĉesis kontribuon. Guglo anstataŭ multigis sian kontribuon al 1 000 000 USD, monsumo simile al tio de [[Nobel-premio]]<ref>{{cite web\|url=http://bits.blogs.nytimes.com/2014/11/13/google-lifts-the-turing-award-into-nobel-territory/?ref=technology&_r=1\|title=Google to Quadruple Computer Science Prize Winnings to $1 Million\|author=Steve Lohr\|date=November 13, 2014\|publisher=Bits\|language=en\|accessdate=2015-01-09}} </ref>. == Ricevintoj de la premio == Linio 10 ⟶ 13: !1966 \|[[Alan Perlis\|Alan J. Perlis]] \|~~Pro lia influo en kampo de alta~~Altnivela [[programado]] kaj konstruo de [[tradukilo]]<ref>{{Cite journal \| last1 = Perlis \| first1 = A. J. \| doi = 10.1145/321371.321372 \| title = The Synthesis of Algorithmic Systems \| journal = Journal of the ACM \| volume = 14 \| pages = 1 \| year = 1967 \| pmid = \| pmc = }}</ref> \|- !1967 Linio 30 ⟶ 33: !1971 \|[[John McCarthy (computer scientist)\|John McCarthy]] \|Artefarita inteligenteco. \|▼ \|- !1972 Linio 46 ⟶ 49: !1975 \|[[Allen Newell]] and <br> [[Herbert A. Simon]] \|Artefarita inteligenteo, [[kogna psikologio]], kaj listo traktado. \| \|- !1976 Linio 58 ⟶ 61: !1978 \|[[Robert W. Floyd]] \|Metodaro pri krei efikan programon. \| \|- !1979 Linio 74 ⟶ 77: !1982 \|[[Stephen A. Cook]] \|Komputada komplekseco. \| \|- !1983 Linio 90 ⟶ 93: !1986 \|[[John Hopcroft]] and <br>[[Robert Tarjan]] \|Plano kaj analizo de algoritmo kaj datumstrukturo. \| \|- !1987 Linio 98 ⟶ 101: !1988 \|[[Ivan Sutherland]] \|[[Komputila grafiko]] \| \|- !1989 \|[[William Kahan]] \|Cifereca analizo \| \|- !1990 \|[[Fernando J. Corbató]] \|[[Kongrua Tempopartiga Sistemo]]. \| \|- !1991 \|[[Robin Milner]] ▲\| \|For three distinct and complete achievements: 1) [[LCF theorem prover\|LCF]], the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for [[automated theorem proving\|machine assisted proof construction]]; 2) [[ML programming language\|ML]], the first language to include polymorphic [[type inference]] together with a [[type safety\|type-safe]] [[exception handling\|exception-handling]] mechanism; 3) [[calculus of communicating systems\|CCS]], a general theory of [[concurrency (computer science)\|concurrency]]. In addition, he formulated and strongly advanced [[full abstraction]], the study of the relationship between [[operational semantics\|operational]] and [[denotational semantics\|denotational]] [[semantics]].<ref>{{Cite journal \| last1 = Milner \| first1 = R. \| doi = 10.1145/151233.151240 \| title = Elements of interaction: Turing award lecture \| journal = Communications of the ACM \| volume = 36 \| pages = 78–89 \| year = 1993 \| pmid = \| pmc = }}</ref> # ''LCF'' # [[ML (programlingvo)\|ML]] # ''CCS'', ĝenerala teorio pri komuikado de kunkuraj sistemoj.<ref>{{Cite journal \| last1 = Milner \| first1 = R. \| doi = 10.1145/151233.151240 \| title = Elements of interaction: Turing award lecture \| journal = Communications of the ACM \| volume = 36 \| pages = 78–89 \| year = 1993 \| pmid = \| pmc = }}</ref> \|- !1992 \|[[Butler W. Lampson]] \|Disa sistemo, Persona komputado. \|For contributions to the development of distributed, personal computing environments and the technology for their implementation: [[workstation]]s, [[computer network\|networks]], [[operating system]]s, programming systems, [[computer display\|displays]], [[computer security\|security]] and [[word processor\|document publishing]]. \|- !1993 Linio 122 ⟶ 128: !1994 \|[[Edward Feigenbaum]] and <br> [[Raj Reddy]] \|Granda artefarita-inteligenca sistemo \| \|- !1995 Linio 130 ⟶ 136: !1996 \|[[Amir Pnueli]] \|[[Sekvenca logiko]] \| \|- !1997 Linio 142 ⟶ 148: !1999 \|[[Frederick P. Brooks\|Frederick P. Brooks, Jr.]] \|[[Komputila arki\|Organizado de komputilo]], mastruma sistemo, [[programinĝeniero]]. \| \|- !2000 \|[[Andrew Chi-Chih Yao]] \|Teoreio pri komputado. Komputada komplekseco. Generi kvazaŭhazardaĵon. \| \|- !2001 Linio 166 ⟶ 172: !2005 \|[[Peter Naur]] \|[[Algol 60]] \| \|- !2006 Linio 174 ⟶ 180: !2007 \|[[Edmund M. Clarke]], <br> [[E. Allen Emerson]] and <br> [[Joseph Sifakis]] \|Aŭtomata sistemo por trovi eraron je plano de komputilo \| \|- !2008 Linio 186 ⟶ 192: !2010 \|[[Leslie G. Valiant]] \|Multe da novigo por teorio pri komputado. \| \|- !2011 Linio 198 ⟶ 204: !2013 \|[[Leslie Lamport]] \|Disa kaj kunkura sistemo. \| \|- !2014 \|[[Michael Stonebraker]] \|Pro lia fundamenta kontribuo al moderna datumbazo. \| \|- !2015 Linio 212 ⟶ 218: == Eksteraj ligiloj == * [http://www.acm.org/awards/taward.html La listo de ~~ACM~~ricevintoj de premio Turing] ''(angle)'' == Citaĵoj ==

Premio Turing: Malsamoj inter versioj