Miguel de Cervantes y Saavedra - Don Quijote de la Mancha - Ebook:
HTML+ZIP- TXT - TXT+ZIP

Wikipedia for Schools (ES) - Static Wikipedia (ES) 2006
CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
SITEMAP
Make a donation: IBAN: IT36M0708677020000000008016 - BIC/SWIFT:  ICRAITRRU60 - VALERIO DI STEFANO or
Privacy Policy Cookie Policy Terms and Conditions
Premio Turing - Wikipedia, la enciclopedia libre

Premio Turing

De Wikipedia, la enciclopedia libre

El Premio Turing es considerado por muchos como el Premio Nobel de la Informática. Es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.

El galardón rinde tributo a Alan Mathison Turing y actualmente es patrocinado por la empresa Intel, la cual aporta una bolsa de cien mil dólares estadounidenses al ganador.


[editar] Galardonados

Galardonados con el Premio Turing
Año Nombre(s) Motivo
1966 Estadounidense Alan Perlis Por su influencia en las áreas de técnicas de programación avanzadas y construcción de compiladores.
1967 Británico Maurice V. Wilkes Por el diseño y construcción de EDSAC, la primera computadora de programa almacenado en memoria interna.
1968 Estadounidense Richard Hamming Por su trabajo en métodos numéricos, sistemas de codificación automáticos, y por el desarrollo de códigos de detección y corrección de errores.
1969 Estadounidense Marvin Minsky Por sus aportaciones en inteligencia artificial.
1970 Británico J.H. Wilkinson Por sus investigaciones en análisis numérico para facilitar el uso de computadores digitales de alta velocidad.
1971 Estadounidense John McCarthy Por sus aportaciones al campo de inteligencia artificial.
1972 Holandés Edsger Dijkstra Por sus contribución a la "ciencia y arte" de los lenguajes de programación.
1973 Estadounidense Charles W. Bachman Por sus aportaciones a la tecnología de bases de datos.
1974 Estadounidense Donald Erwin Knuth Por sus contribuciones a análisis de algoritmos y el diseño de lenguajes de programación.
1975 Estadounidense Allen Newell

Estadounidense Herbert A. Simon

Por sus aportaciones en inteligencia artificial, la psicología de la percepción humana y procesamiento de listas.
1976 Alemán Michael O. Rabin

Estadounidense Dana S. Scott

Por su trabajo en autómatas finitos, introduciendo la idea de máquinas no deterministas.
1977 Estadounidense John Backus Por sus contribuciones al diseño de sistemas de programación de alto nivel y por la publicación de procedimientos formales para la especificación de lenguajes de programación.
1978 Estadounidense Robert W. Floyd Por su influencia en metodologías para la creación de software eficiente y fiable, y por sus aportaciones en los siguientes campos: teoría de análisis sintáctico, semántica en lenguajes de programación, verificación automática de programas, síntesis automática de programas y análisis de algoritmos.
1979 Canadiense Kenneth E. Iverson Por sus pioneros esfuerzos en lenguajes de programación y notación matemática, dando como resultado APL.
1980 Británico C. Antony R. Hoare Por sus importantes contribuciones a la definición y diseño de lenguajes de programación.
1981 Británico Edgar F. Codd Por sus continuas e importantes aportaciones a la teoría y práctica de los sistemas de gestión de bases de datos, ideando el enfoque relacional de la gestión de bases de datos.
1982 Estadounidense Stephen A. Cook Por sus aportaciones en el campo de la complejidad computacional. Ideó los fundamentos de la teoría de NP-completitud.
1983 Estadounidense Ken Thompson

Estadounidense Dennis M. Ritchie

Por sus contribuciones al desarrollo de sistemas operativos en general y la creación de Unix en particular.
1984 Suizo Niklaus Wirth Por el desarrollo de una serie de innovadores lenguajes de programación como EULER, ALGOL-W, MODULA y PASCAL.
1985 Estadounidense Richard M. Karp Por sus contribuciones a la teoría de algoritmos, la identificación de problemas computables en tiempo polinomial y a la teoría de NP-completitud.
1986 Estadounidense John Hopcroft

Estadounidense Robert Tarjan

Por sus logros en el análisis y diseño de algoritmos y estructuras de datos.
1987 Estadounidense John Cocke Por su aportación a la teoría de compiladores, arquitectura de grandes sistemas y el desarrollo de juego de instrucciones reducido RISC.
1988 Estadounidense Ivan Sutherland Por sus aportaciones a la computación gráfica.
1989 Canadiense William (Velvel) Kahan Por sus contribuciones al análisis numérico, particularmente en computación en coma flotante.
1990 Estadounidense Fernando J. Corbató Por su trabajo liderando el desarrollo de CTSS y Multics.
1991 Británico Robin Milner Por tres logros:
  • Desarrollo del sistema LCF, probablemente la primera herramienta de demostración automática de teoremas.
  • Desarrollo del lenguaje ML, metalenguaje para escribir estrategias y tácticas en LCF. Primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos.
  • Desarrollo de un marco teórico para el análisis de sistemas concurrentes, el cálculo de sistemas comunicantes (CCS) y su sucesor, el pi-cálculo.
1992 Estadounidense Butler W. Lampson Por sus contribuciones al desarrollo de entornos distribuidos y la tecnología para su implementación: estaciones de trabajo, redes, sistemas operativos, sistemas de programación, monitores, publicación de documentos y seguridad.
1993 Estadounidense Juris Hartmanis

Estadounidense Richard E. Stearns

Por establecer los fundamentos del campo de la teoría de complejidad computacional.
1994 Estadounidense Edward Feigenbaum

Estadounidense Raj Reddy

Por el diseño y construcción de grandes sistemas de inteligencia artificial.
1995 Venezolano Manuel Blum En reconocimiento por sus aportaciones a los fundamentos de la teoría de complejidad computacional y su aplicabilidad a la criptografía.
1996 Israelí Amir Pnueli Por su trabajo introduciendo la lógica temporal en informática y por sus importantes aportaciones a la verificación de programas y sistemas.
1997 Estadounidense Douglas Engelbart Por su trabajo en computación interactiva.
1998 Estadounidense James Gray Por sus contribuciones en bases de datos, investigación en el procesamiento de transacciones e implementación de sistemas.
1999 Estadounidense Frederick P. Brooks, Jr. Por sus contribuciones a arquitectura de computadores, sistemas operativos e ingeniería del software.
2000 Chino Andrew Chi-Chih Yao En reconocimiento de sus importantes aportaciones a la teoría de la computación, criptografía.
2001 Noruego Ole-Johan Dahl

Noruego Kristen Nygaard

Por su trabajo en los lenguajes de programación Simula I y Simula 67, que permitieron la aparición de la programación orientada a objetos.
2002 Estadounidense Ronald Rivest

Israelí Adi Shamir
Estadounidense Leonard Adleman

Importantes aportaciones a la criptografía, en particular el algoritmo RSA.
2003 Estadounidense Alan Kay Pionero de la programación orientada a objetos y padre del lenguaje Smalltalk.
2004 Estadounidense Vinton G. Cerf

Estadounidense Robert E. Kahn

Por el protocolo TCP/IP.
2005 Danés Peter Naur Por sus contribuciones fundamentales en el desarrollo y definición del ALGOL 60, su diseño del compilador y el arte en la práctica de la programación.

[editar] Enlaces externos

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Sub-domains

CDRoms - Magnatune - Librivox - Liber Liber - Encyclopaedia Britannica - Project Gutenberg - Wikipedia 2008 - Wikipedia 2007 - Wikipedia 2006 -

Other Domains

https://www.classicistranieri.it - https://www.ebooksgratis.com - https://www.gutenbergaustralia.com - https://www.englishwikipedia.com - https://www.wikipediazim.com - https://www.wikisourcezim.com - https://www.projectgutenberg.net - https://www.projectgutenberg.es - https://www.radioascolto.com - https://www.debitoformtivo.it - https://www.wikipediaforschools.org - https://www.projectgutenbergzim.com