Premio Turing: Diferenzas entre revisións

Contido eliminado Contido engadido
Lameiro (conversa | contribucións)
engado fotografía
Lameiro (conversa | contribucións)
corrixo
Liña 1:
O '''Premio Turing''' é concedido anualmente pola [[Association for Computing Machinery|Asociación para a Maquinaria dade Computación]] (en inglés ''Association for Computing Machinery'', ou ACM) a unha persoa pola súa contribución á [[computación]].
 
A denominación do premio responde a [[Alan Mathison Turing]], un [[Matemática|matemático]] [[Gran Bretaña|británico]] considerado un dos pais da [[ciencia da computación]] moderna. O premio é recoñecido como o "[[Premio Nobel]] da informática". Está patrocinado pola [[Intel]] Corporation e acompañado actualmente por un premio monetario de 250.000,00 [[dólar estadounidense|US$dólares]].
 
== Nacionalidades ==
Liña 112:
|[[Edsger Dijkstra]]
|{{NLD}}
|''Edsger Dijkstra foi o principal contribudor no final dos anos 1950 para o desenvolvemento do [[ALGOL]], unha [[linguaxe de programación]] de alto nivel, modelo de clarezaclaridade e rigor matemático. É un dos maiores expoñentes na arte e ciencia das [[linguaxes de programación]], e contribuíu enormemente á comprensión da súa estrutura, representación, e implementaciónposta en funcionamento. Os seus quince anos de publicacións van dende artigos teóricos na teoría dos grafos até manuais, textos expositores, e filosofía contemplativa no campo das linguaxes de programación.''
|-
|[[1973]]
Liña 166:
|[[Kenneth Iverson]]
|{{CAN}}
|''Polo seu esforzo pioneiro nas linguaxes de programación e na notación matemática nun campo coñecido hoxe como [[APL]], polas súas contribucións para a implementaciónintrodución de sistemas interactivos, uso educacionaleducativo das APL, e teoría e práctica das linguaxes de programación.''
|-
|[[1980]]
Liña 192:
|align="center"|[[Ficheiro:Ken Thompson 02.jpg|75px]]
|{{nowrap|[[Ken Thompson]]}}
|rowspan=2|''Polo desenvolvemento da teoría xeral de sistemas operacionais e especialmente pola implementaciónintrodución do sistema operacional [[Unix|UNIX]].''
|-
|align=center|21
Liña 260:
|[[Butler Lampson]]
|rowspan=5|{{USA}}
|''Polas contribucións no desenvolvemento de ambientes de computación persoal distribuídos e a tecnoloxía para a súa implementaciónaplicación: [[workstation]]s, [[rede de computadores]], [[Sistema operacional|Sistemas operacionais]], sistemas de programación, displays, [[seguranza de computadores|seguranza]] e publicación de documentos.''
|-
|rowspan=2|[[1993]]
Liña 307:
|align="center"|[[Ficheiro:Replace this image male.png|75px]]
|[[James Gray]]
|''Por contribucións na investigación de [[banco de datos]], proceso de transaccións e lideranza técnica na implementaciónaplicación de sistemas.''
|-
|[[1999]]
Liña 360:
|align="center" |[[Ficheiro:Vint Cerf - 2010.jpg|75px]]
|{{nowrap|[[Vint Cerf]]}}
|rowspan=2|''Polo traballo pioneiro en ''[[internetworking]]'', incluíndo o proxecto e implementaciónposta en marcha do [[TCP/IP]] , protocolo de comunicación base da [[Internet]], e por inspirar lideranza no traballo de rede.''
|-
|align=center|49
Liña 407:
|[[Charles P. Thacker]]
|{{USA}}
|''Pola súa contribución ó desenrolodesenvolvemento de ''Alto'', o primeiro ordenador persoal, así como de Ethernet e o Tablet PC.''
|-
|[[2010]]
Liña 414:
|[[Leslie Valiant]]
|{{GBR}}
|''Polas súas transformadoras contribucións á teoría da computación, incluíndo a teoría do aprendizaxe probable, aproximadamente correcto, a complexidade da enumeración e da computación alxébrica, e teorías da computación paralela e distribuidadistribuída.''
|-
|[[2011]]
Liña 421:
|[[Judea Pearl]]
|{{USA}}<br>{{ISR}}
|''Polas súas contribucións fundamentais á intelixencia artificial a través do desenrolodesenvolvemento dun cálculo de probabilidades e de razonamentorazoamento causal.''
|-
|rowspan=2|[[2012]]