Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Premio Turing

Índice Premio Turing

El Premio Turing es un premio de las Ciencias de la Computación que 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.

181 relaciones: Adi Shamir, Alan Kay, Alan Perlis, Alan Turing, Alfred Aho, ALGOL, Allen Newell, Amir Pnueli, Análisis de algoritmos, Análisis numérico, Andrew Chi-Chih Yao, APL, Arquitectura de computadoras, Association for Computing Machinery, Autómata finito, Barbara Liskov, Base de datos, Base de datos relacional, Bletchley Park, Butler Lampson, C. A. R. Hoare, Cálculo de sistemas comunicantes, Charles Bachman, Charles Thacker, Ciencias de la computación, Coma flotante, Compatible Time-Sharing System, Compilador, Computación concurrente, Computación gráfica, Computador de programa almacenado, Criptografía, Dana Scott, David A. Patterson, Dólar estadounidense, Dennis Ritchie, Donald Knuth, Douglas Engelbart, E. Allen Emerson, Edgar Frank Codd, Edmund Clarke, EDSAC, Edsger Dijkstra, Edward Feigenbaum, Edwin Catmull, Estados Unidos, Estructura de datos, Familia de protocolos de internet, Fernando Corbató, Frances Elizabeth Allen, ..., Frederick Brooks, Geoffrey Hinton, Google, Herbert Alexander Simon, Inteligencia artificial, Ivan Sutherland, Jack Dongarra, James H. Wilkinson, Jeffrey Ullman, Jim Gray, John Backus, John Cocke, John Hopcroft, John L. Hennessy, John McCarthy (científico), Joseph Sifakis, Judea Pearl, Juris Hartmanis, Ken Thompson, Kenneth Iverson, Kristen Nygaard, LCF, Lenguaje de programación, Leonard Adleman, Leslie Lamport, Leslie Valiant, Manuel Blum, Martin Hellman, Marvin Minsky, Maurice Wilkes, Memoria (informática), Michael Oser Rabin, Michael Stonebraker, ML (lenguaje de programación), Modula-2, Multics, Navegador web, Niklaus Wirth, NP-completo, Nueva York, Ole-Johan Dahl, Pascal (lenguaje de programación), Pat Hanrahan, Peter Naur, Programación, Programación orientada a objetos, Raj Reddy, Reduced instruction set computing, Richard Hamming, Richard Karp, Richard Stearns, Robert Kahn, Robert Metcalfe, Robert Tarjan, Robert W. Floyd, Robin Milner, Ronald Rivest, RSA, Shafrira Goldwasser, Silvio Micali, Simula, Sistema operativo, Smalltalk, Stephen Cook, Teoría de la complejidad computacional, Tim Berners-Lee, Unix, Verificación de modelos, Vinton Cerf, Whitfield Diffie, William Kahan, World Wide Web, Yann LeCun, Yoshua Bengio, 1966, 1967, 1968, 1969, 1970, 1971, 1972, 1973, 1974, 1975, 1976, 1977, 1978, 1979, 1980, 1981, 1982, 1983, 1984, 1985, 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022. Expandir índice (131 más) »

Adi Shamir

Adi Shamir (Tel Aviv, 1952) es un criptógrafo israelí.

¡Nuevo!!: Premio Turing y Adi Shamir · Ver más »

Alan Kay

Alan Kay, (Springfield, 17 de mayo de 1940), es un informático estadounidense.

¡Nuevo!!: Premio Turing y Alan Kay · Ver más »

Alan Perlis

Alan Jay Perlis (Pittsburgh, EE. UU., 1 de abril de 1922 - Connecticut, 7 de febrero de 1990) fue un catedrático estadounidense de ciencias de la computación que ganó el Premio Turing en 1966 y fue presidente de la Asociación para la Maquinaria Computacional (ACM) de 1962 a 1964.

¡Nuevo!!: Premio Turing y Alan Perlis · Ver más »

Alan Turing

Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.

¡Nuevo!!: Premio Turing y Alan Turing · Ver más »

Alfred Aho

Alfred Vaino Aho (Timmins, Ontario es un informático teórico. Sus ocupaciones incluyen trabajar para los laboratorios Bell y ser profesor de Computación en la Universidad de Columbia. Se hizo famoso por su creación, el lenguaje de programación AWK (la A viene de Aho), obra que realizó en conjunto con Brian Kernighan y Peter J. Weinberger, además de su coautoría de "Compiladores: Principios, Técnicas y Herramientas" ("El libro del dragón") con Ravi Sethi y Jeffrey Ullman. El Doctor Aho ha recibido varios prestigiosos premios, y ha sido premiado por el doctorado de la Universidad de Waterloo y la Universidad de Helsinki en Finlandia. Él y su colaborador de mucho tiempo, Jeffrey Ullman, recibieron el Premio Turing en 2020, generalmente reconocido como la más alta distinción en ciencias de la computación.

¡Nuevo!!: Premio Turing y Alfred Aho · Ver más »

ALGOL

Se denomina ALGOL (o Algol) a un lenguaje de programación.

¡Nuevo!!: Premio Turing y ALGOL · Ver más »

Allen Newell

Allen Newell (19 de marzo de 1927 - 19 de julio de 1992) fue un investigador en informática y psicología cognitiva en la escuela de informática de Carnegie Mellon.

¡Nuevo!!: Premio Turing y Allen Newell · Ver más »

Amir Pnueli

Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas.

¡Nuevo!!: Premio Turing y Amir Pnueli · Ver más »

Análisis de algoritmos

El término análisis de algoritmos fue acuñado por Donald Knuth y se refiere al proceso de encontrar la complejidad computacional de un algoritmo que resuelva un problema computacional dado, con el objetivo de proveer estimaciones teóricas de los recursos que necesita.

¡Nuevo!!: Premio Turing y Análisis de algoritmos · Ver más »

Análisis numérico

El análisis numérico o cálculo numérico es la rama de las matemáticas encargada de diseñar algoritmos para simular aproximaciones de solución a problemas en análisis matemático.

¡Nuevo!!: Premio Turing y Análisis numérico · Ver más »

Andrew Chi-Chih Yao

Andrew Chi-Chih Yao (Shanghái, 24 de diciembre de 1946) es un destacado científico chino en el ámbito de la computación.

¡Nuevo!!: Premio Turing y Andrew Chi-Chih Yao · Ver más »

APL

APL (A Programming Language) es un lenguaje de programación que se originó a partir de la notación matemática desarrollada por Kenneth Iverson en 1957, quien lo implementó en 1962 cuando fue contratado por IBM en ese mismo año.

¡Nuevo!!: Premio Turing y APL · Ver más »

Arquitectura de computadoras

La arquitectura de computadoras, también llamada arquitectura de ordenadores en algunos casos, es el diseño conceptual y la estructura operacional fundamental de un sistema de computadoras.

¡Nuevo!!: Premio Turing y Arquitectura de computadoras · Ver más »

Association for Computing Machinery

ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).

¡Nuevo!!: Premio Turing y Association for Computing Machinery · Ver más »

Autómata finito

Un autómata finito (AF) o máquina de estado finito es un modelo computacional que realiza cómputos en forma automática sobre una entrada para producir una salida.

¡Nuevo!!: Premio Turing y Autómata finito · Ver más »

Barbara Liskov

Barbara Jane Huberman (Los Ángeles, California, 7 de noviembre de 1939), conocida como Barbara Liskov o Barbara Jane Liskov, es una prominente científica de la computación estadounidense.

¡Nuevo!!: Premio Turing y Barbara Liskov · Ver más »

Base de datos

Una base de datos (del inglés: database) se encarga no solo de almacenar datos, sino también de conectarlos entre sí en una unidad lógica.

¡Nuevo!!: Premio Turing y Base de datos · Ver más »

Base de datos relacional

La base de datos relacional (BDR) es un tipo de base de datos (BD) que cumple con el modelo relacional (el modelo más utilizado actualmente para implementar las BD ya planificadas).

¡Nuevo!!: Premio Turing y Base de datos relacional · Ver más »

Bletchley Park

Bletchley Park es el nombre de una instalación militar localizada en Buckinghamshire, Inglaterra, en la que se realizaron los trabajos de descifrado de códigos alemanes durante la Segunda Guerra Mundial.

¡Nuevo!!: Premio Turing y Bletchley Park · Ver más »

Butler Lampson

Butler W. Lampson (nacido en 1943 en Washington D.esdC., Estados Unidos) es un científico de la computación, considerado como uno de los más significativos en la historia de la disciplina.

¡Nuevo!!: Premio Turing y Butler Lampson · Ver más »

C. A. R. Hoare

Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934), también conocido familiarmente como Tony Hoare, es un científico británico en computación.

¡Nuevo!!: Premio Turing y C. A. R. Hoare · Ver más »

Cálculo de sistemas comunicantes

El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes.

¡Nuevo!!: Premio Turing y Cálculo de sistemas comunicantes · Ver más »

Charles Bachman

Charles William Bachman (nacido el 11 de diciembre de 1924, Manhattan, Kansas, Estados Unidos-13 de julio de 2017) fue un prominente informático, especialmente en el área de las bases de datos.

¡Nuevo!!: Premio Turing y Charles Bachman · Ver más »

Charles Thacker

Charles P. (Chuck) Thacker (Pasadena, 26 de febrero de 1943-Palo Alto, 12 de junio de 2017) fue un informático estadounidense, pionero en ciencias de la computación.

¡Nuevo!!: Premio Turing y Charles Thacker · Ver más »

Ciencias de la computación

Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.

¡Nuevo!!: Premio Turing y Ciencias de la computación · Ver más »

Coma flotante

La representación de coma flotante (en inglés, floating point) es una forma de notación científica usada en las computadoras con la cual se pueden representar números reales extremadamente grandes y pequeños de una manera muy eficiente y compacta y con la que se pueden realizar operaciones aritméticas.

¡Nuevo!!: Premio Turing y Coma flotante · Ver más »

Compatible Time-Sharing System

CTSS, que significa Compatible Time-Sharing System (Sistema de Tiempo Compartido Compatible), fue uno de los primeros sistemas operativos de tiempo compartido; fue desarrollado en el Centro de Computación del MIT.

¡Nuevo!!: Premio Turing y Compatible Time-Sharing System · Ver más »

Compilador

En informática, un compilador es un programa que traduce código escrito en un lenguaje de programación (llamado fuente) a otro lenguaje (conocido como objeto).

¡Nuevo!!: Premio Turing y Compilador · Ver más »

Computación concurrente

La computación concurrente es una forma de cómputo en la cual varios cálculos se realizan concurrentemente, y no uno a la vez de forma secuencial.

¡Nuevo!!: Premio Turing y Computación concurrente · Ver más »

Computación gráfica

La computación gráfica o gráficos por ordenador es el campo de la informática visual, donde se utilizan computadoras tanto para generar imágenes visuales sintéticamente como integrar o cambiar la información visual y espacial probada del mundo real.

¡Nuevo!!: Premio Turing y Computación gráfica · Ver más »

Computador de programa almacenado

Un computador de programa almacenado es el que almacena las instrucciones del programa en la memoria electrónica.

¡Nuevo!!: Premio Turing y Computador de programa almacenado · Ver más »

Criptografía

La criptografía (del griego κρύπτos (kryptós), «secreto», y γραφή (graphé), «grafo» o «escritura», literalmente «escritura secreta») se ha definido, tradicionalmente, como el ámbito de la criptología que se ocupa de las técnicas de cifrado o codificado destinadas a alterar las representaciones lingüísticas de ciertos mensajes con el fin de hacerlos ininteligibles a receptores no autorizados.

¡Nuevo!!: Premio Turing y Criptografía · Ver más »

Dana Scott

Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California.

¡Nuevo!!: Premio Turing y Dana Scott · Ver más »

David A. Patterson

David A. Patterson es profesor de Ciencias de la computación en la Universidad de California, Berkeley desde 1977, habiendo recibido varios grados, entre ellos el PhD de UCLA.

¡Nuevo!!: Premio Turing y David A. Patterson · Ver más »

Dólar estadounidense

El dólar estadounidense o dólar americano (también abreviado con el símbolo $ o con su abreviatura alfabética estándar internacional USD) es la moneda de curso legal de Estados Unidos, sus dependencias y otros países.

¡Nuevo!!: Premio Turing y Dólar estadounidense · Ver más »

Dennis Ritchie

Dennis MacAlistair Ritchie (9 de septiembre de 1941 - 12 de octubre de 2011), Graduado de Física y Matemáticas aplicadas de Harvard, fue un científico de la computación estadounidense.

¡Nuevo!!: Premio Turing y Dennis Ritchie · Ver más »

Donald Knuth

Donald Ervin Knuth (Milwaukee, Wisconsin; 10 de enero de 1938) es un reconocido experto en ciencias de la computación estadounidense y matemático, famoso por su fructífera investigación dentro del análisis de algoritmos y compiladores.

¡Nuevo!!: Premio Turing y Donald Knuth · Ver más »

Douglas Engelbart

Douglas Carl Engelbart (Portland, Oregón; 30 de enero de 1925-Atherton, California; 2 de julio de 2013) fue un inventor estadounidense, descendiente de noruegos.

¡Nuevo!!: Premio Turing y Douglas Engelbart · Ver más »

E. Allen Emerson

Ernest Allen Emerson es un informático teórico más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware.

¡Nuevo!!: Premio Turing y E. Allen Emerson · Ver más »

Edgar Frank Codd

Edgar Frank "Ted" Codd fue un científico informático inglés (19 de agosto de 1923 - 18 de abril de 2003), conocido por crear el modelo relacional de bases de datos.

¡Nuevo!!: Premio Turing y Edgar Frank Codd · Ver más »

Edmund Clarke

Edmund Melson Clarke, Jr. (Newport News, 27 de julio de 1945 - 22 de diciembre de 2020) fue un informático teórico, profesor universitario, investigador, ingeniero y matemático estadounidense.

¡Nuevo!!: Premio Turing y Edmund Clarke · Ver más »

EDSAC

La EDSAC (acrónimo proveniente de la frase Electronic Delay Storage Automatic Calculator), fue una antigua computadora británica (una de las primeras computadoras creadas).

¡Nuevo!!: Premio Turing y EDSAC · Ver más »

Edsger Dijkstra

Edsger Wybe Dijkstra (AFI) (Róterdam, 11 de mayo de 1930-Nuenen, 6 de agosto de 2002) fue un científico de la computación de los Países Bajos.

¡Nuevo!!: Premio Turing y Edsger Dijkstra · Ver más »

Edward Feigenbaum

Edward Albert Feigenbaum (nacido el 20 de enero de 1936, Weehawken, Estados Unidos) es un científico de la computación que trabaja en el área de la inteligencia artificial.

¡Nuevo!!: Premio Turing y Edward Feigenbaum · Ver más »

Edwin Catmull

Edwin Earl Catmull (nacido en 1945 en Virginia Occidental) es un científico de la computación estadounidense retirado y expresidente de Pixar y Walt Disney Animation Studios.

¡Nuevo!!: Premio Turing y Edwin Catmull · Ver más »

Estados Unidos

«EUA», «US», «USA» y «United States» redirigen aquí.

¡Nuevo!!: Premio Turing y Estados Unidos · Ver más »

Estructura de datos

En ciencias de la computación, una estructura de datos es una forma particular de organizar información en un computador para que pueda ser utilizada de manera eficiente.

¡Nuevo!!: Premio Turing y Estructura de datos · Ver más »

Familia de protocolos de internet

La familia de protocolos de internet o pila de protocolos de Internet es un conjunto constituido por los protocolos de red clave que componen la arquitectura de internet y que permiten la comunicación efectiva y la transmisión de datos entre computadoras.

¡Nuevo!!: Premio Turing y Familia de protocolos de internet · Ver más »

Fernando Corbató

Fernando José Corbató (Oakland, California, 1 de julio de 1926-Newburyport, Massachusetts, 12 de julio de 2019) fue científico de la computación estadounidense, pionero en el desarrollo de los sistemas operativos de tiempo compartido.

¡Nuevo!!: Premio Turing y Fernando Corbató · Ver más »

Frances Elizabeth Allen

Frances Elizabeth "Fran" Allen (Peru, Nueva York, 4 de agosto de 1932 - Schenectady, Nueva York, 4 de agosto de 2020) fue una informática estadounidense y pionera en el campo de optimizar compiladores.

¡Nuevo!!: Premio Turing y Frances Elizabeth Allen · Ver más »

Frederick Brooks

Frederick Phillips Brooks, Jr. (Durham, 19 de abril de 1931-17 de noviembre de 2022) fue un ingeniero de software y científico de la computación, más conocido por dirigir el desarrollo del sistema operativo OS/360, y después escribir honestamente sobre el proceso en su famoso libro The Mythical Man-Month (El mítico hombre-mes).

¡Nuevo!!: Premio Turing y Frederick Brooks · Ver más »

Geoffrey Hinton

Geoffrey Hinton (Wimdledon, Reino Unido, 6 de diciembre de 1947) es un informático británico.

¡Nuevo!!: Premio Turing y Geoffrey Hinton · Ver más »

Google

Google LLC es una empresa de tecnología multinacional estadounidense que se centra en inteligencia artificial, publicidad en línea, tecnología de motores de búsqueda, computación en la nube, software, computación cuántica, comercio electrónico y electrónica de consumo.

¡Nuevo!!: Premio Turing y Google · Ver más »

Herbert Alexander Simon

Herbert Alexander Simon (15 de junio de 1916-9 de febrero de 2001), fue un economista, politólogo y teórico de las ciencias sociales estadounidense.

¡Nuevo!!: Premio Turing y Herbert Alexander Simon · Ver más »

Inteligencia artificial

La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.

¡Nuevo!!: Premio Turing e Inteligencia artificial · Ver más »

Ivan Sutherland

Ivan Edward Sutherland (nació el 16 de mayo de 1938 en Hastings, Nebraska) es un científico de la computación estadounidense y pionero de Internet, ampliamente considerado como el "padre de la computación gráfica".

¡Nuevo!!: Premio Turing e Ivan Sutherland · Ver más »

Jack Dongarra

Jack J. Dongarra (nacido el 18 de julio de 1950) es un matemático y científico de la computación estadounidense.

¡Nuevo!!: Premio Turing y Jack Dongarra · Ver más »

James H. Wilkinson

James Hardy Wilkinson (Strood, Kent, Inglaterra, 27 de septiembre de 1919 - Teddington, Middlesex, Inglaterra, 5 de octubre de 1986) realizó una contribución excepcional a la informática por su trabajo sobre el análisis numérico.

¡Nuevo!!: Premio Turing y James H. Wilkinson · Ver más »

Jeffrey Ullman

Jeffrey David Ullman (n. 22 de noviembre de 1942) es un connotado informático teórico estadounidense.

¡Nuevo!!: Premio Turing y Jeffrey Ullman · Ver más »

Jim Gray

James Nicholas Gray (San Francisco, 11 de enero de 1944; desaparecido en el océano Pacífico desde el 28 de enero de 2007, declarado muerto el 16 de mayo de 2012), más conocido como Jim Gray, fue un científico de la computación estadounidense.

¡Nuevo!!: Premio Turing y Jim Gray · Ver más »

John Backus

John Backus (Filadelfia, 3 de diciembre de 1924 - Oregón, 17 de marzo de 2007) fue un científico de la computación estadounidense.

¡Nuevo!!: Premio Turing y John Backus · Ver más »

John Cocke

John Cocke (Charlotte, Carolina del Norte, 30 de mayo de 1925 - Valhalla, Nueva York, 16 de julio de 2002), fue un científico informático estadounidense reconocido por sus contribuciones a la arquitectura de computadoras y optimización de diseño de compiladores.

¡Nuevo!!: Premio Turing y John Cocke · Ver más »

John Hopcroft

John E. Hopcroft (7 de octubre de 1939) es un conocido científico de la computación.

¡Nuevo!!: Premio Turing y John Hopcroft · Ver más »

John L. Hennessy

John LeRoy Hennessy es fundador de MIPS Technologies; fue el décimo presidente de la Universidad Stanford.

¡Nuevo!!: Premio Turing y John L. Hennessy · Ver más »

John McCarthy (científico)

John McCarthy (Boston, Massachusetts, 4 de septiembre de 1927-Stanford, California, 24 de octubre de 2011), fue un prominente informático que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial.

¡Nuevo!!: Premio Turing y John McCarthy (científico) · Ver más »

Joseph Sifakis

Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking.

¡Nuevo!!: Premio Turing y Joseph Sifakis · Ver más »

Judea Pearl

Judea Pearl es un matemático, científico de la computación y filósofo, más conocido por desarrollar la aproximación probabilística a la inteligencia artificial, en particular utilizando las redes bayesianas, y la formalización del razonamiento causal (véase Causalidad).

¡Nuevo!!: Premio Turing y Judea Pearl · Ver más »

Juris Hartmanis

Juris Hartmanis (Riga, 5 de julio de 1928-29 de julio de 2022) fue un prominente científico de la computación letón.

¡Nuevo!!: Premio Turing y Juris Hartmanis · Ver más »

Ken Thompson

Kenneth Lane Thompson (Nueva Orleans, Luisiana; 4 de febrero de 1943), más conocido como Ken Thompson, es un pionero en las ciencias de la computación.

¡Nuevo!!: Premio Turing y Ken Thompson · Ver más »

Kenneth Iverson

Kenneth Iverson, (Alberta, 17 de diciembre de 1920-Toronto, 19 de octubre de 2004) fue un informático teórico y matemático canadiense.

¡Nuevo!!: Premio Turing y Kenneth Iverson · Ver más »

Kristen Nygaard

Kristen Nygaard (27 de agosto de 1926 - 10 de agosto de 2002) fue un político, matemático noruego y pionero de la informática.

¡Nuevo!!: Premio Turing y Kristen Nygaard · Ver más »

LCF

LCF es un demostrador automático de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros.

¡Nuevo!!: Premio Turing y LCF · Ver más »

Lenguaje de programación

Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.

¡Nuevo!!: Premio Turing y Lenguaje de programación · Ver más »

Leonard Adleman

Leonard Adleman (San Francisco, 31 de diciembre de 1945) profesor en ciencias de la computación y biología molecular de la Universidad del Sur de California.

¡Nuevo!!: Premio Turing y Leonard Adleman · Ver más »

Leslie Lamport

Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación estadounidense.

¡Nuevo!!: Premio Turing y Leslie Lamport · Ver más »

Leslie Valiant

Leslie Gabriel Valiant (nacido el 28 de marzo de 1949) es un informático teórico británico.

¡Nuevo!!: Premio Turing y Leslie Valiant · Ver más »

Manuel Blum

Manuel Blum (Caracas, Venezuela 26 de abril de 1938) es un informático venezolano conocido por ser el único sudamericano que ha recibido Premio Turing en 1995 "En reconocimiento de sus contribuciones a los fundamentos de la teoría de la complejidad computacional y su aplicación a la criptografía y la verificación de programas".

¡Nuevo!!: Premio Turing y Manuel Blum · Ver más »

Martin Hellman

Martin Edward Hellman (n. 2 de octubre de 1945), es un criptólogo estadounidense.

¡Nuevo!!: Premio Turing y Martin Hellman · Ver más »

Marvin Minsky

Marvin Lee Minsky (Nueva York, 9 de agosto de 1927-Boston, 24 de enero de 2016) fue un científico estadounidense.

¡Nuevo!!: Premio Turing y Marvin Minsky · Ver más »

Maurice Wilkes

Maurice Vincent Wilkes (Dudley, Worcestershire, 26 de junio de 1913 – Cambridge, 29 de noviembre de 2010) fue un investigador de las ciencias de la computación, reconocido por varios de sus importantes desarrollos en el campo de la informática.

¡Nuevo!!: Premio Turing y Maurice Wilkes · Ver más »

Memoria (informática)

En informática, la memoria es el dispositivo que retiene, memoriza o almacena datos informáticos durante algún periodo de tiempo.

¡Nuevo!!: Premio Turing y Memoria (informática) · Ver más »

Michael Oser Rabin

Michael Oser Rabin (nacido en 1931 en Breslavia, Alemania, hoy en día parte de Polonia) es un notable científico de la computación y ganador del Premio Turing, el galardón más prestigioso en el campo.

¡Nuevo!!: Premio Turing y Michael Oser Rabin · Ver más »

Michael Stonebraker

Michael Stonebraker (11 de octubre de 1943) es un científico especializado en investigación y desarrollo de bases de datos.

¡Nuevo!!: Premio Turing y Michael Stonebraker · Ver más »

ML (lenguaje de programación)

ML es un lenguaje de programación de propósito general de la familia de los lenguajes de programación funcional desarrollado por Robin Milner y otros a finales de los años 1970 en la Universidad de Edimburgo.

¡Nuevo!!: Premio Turing y ML (lenguaje de programación) · Ver más »

Modula-2

Modula-2 es un lenguaje de programación cuyo autor es Niklaus Wirth, autor también del lenguaje Pascal.

¡Nuevo!!: Premio Turing y Modula-2 · Ver más »

Multics

Multics (Multiplexed Information and Computing Service) fue uno de los primeros sistemas operativos de tiempo compartido y tuvo una gran influencia en el desarrollo de los posteriores sistemas operativos.

¡Nuevo!!: Premio Turing y Multics · Ver más »

Navegador web

Un navegador web o explorador de internet (del inglés web browser) es un software, aplicación o programa que permite el acceso a la Web, interpretando la información de distintos tipos de archivos y sitios web para que estos puedan ser vistos.

¡Nuevo!!: Premio Turing y Navegador web · Ver más »

Niklaus Wirth

Niklaus Wirth (Winterthur Suiza, 15 de febrero de 1934), científico de la computación.

¡Nuevo!!: Premio Turing y Niklaus Wirth · Ver más »

NP-completo

En teoría de la complejidad computacional, la clase de complejidad NP-completo es el subconjunto de los problemas de decisión en NP tal que todo problema en NP se puede reducir en cada uno de los problemas de NP-completo.

¡Nuevo!!: Premio Turing y NP-completo · Ver más »

Nueva York

Nueva York (New York), oficialmente New York City o por las siglas NYC, es la ciudad más poblada de los Estados Unidos y una de las más pobladas del mundo, con un área urbana de 24 millones de habitantes.

¡Nuevo!!: Premio Turing y Nueva York · Ver más »

Ole-Johan Dahl

Ole-Johan Dahl (Mandal, Noruega, 12 de octubre de 1931 – 29 de junio de 2002) fue un científico de la computación noruego considerado uno de los padres del lenguaje de programación Simula, y de la programación orientada a objetos, junto con Kristen Nygaard.

¡Nuevo!!: Premio Turing y Ole-Johan Dahl · Ver más »

Pascal (lenguaje de programación)

Pascal es un lenguaje de programación creado por el profesor suizo Niklaus Wirth entre los años 1968 y 1969, y publicado en 1970.

¡Nuevo!!: Premio Turing y Pascal (lenguaje de programación) · Ver más »

Pat Hanrahan

Patrick M. Hanrahan (1954) es un investigador estadounidense de gráficos por computadora, el profesor de EE.UU.

¡Nuevo!!: Premio Turing y Pat Hanrahan · Ver más »

Peter Naur

Peter Naur (Frederiksberg, 25 de octubre de 1928-3 de enero de 2016) fue un científico danés pionero en informática y ganador del Premio Turing en 2005.

¡Nuevo!!: Premio Turing y Peter Naur · Ver más »

Programación

La programación es el proceso de crear un conjunto de instrucciones que le dicen a una computadora como realizar algún tipo de tarea.

¡Nuevo!!: Premio Turing y Programación · Ver más »

Programación orientada a objetos

La programación orientada a objetos (POO, en español); es un paradigma de programación que parte del concepto de "objetos" como base, los cuales contienen información en forma de campos (a veces también referidos como atributos o propiedades) y código en forma de métodos.

¡Nuevo!!: Premio Turing y Programación orientada a objetos · Ver más »

Raj Reddy

Dabblal Rajagopal "Raj" Reddy (13 de junio de 1937, Katoor, India, cerca de Madrás), es un investigador en inteligencia artificial, robótica e interacción entre personas y ordenadores.

¡Nuevo!!: Premio Turing y Raj Reddy · Ver más »

Reduced instruction set computing

En arquitectura computacional, RISC (del inglés Reduced Instruction Set Computer, en español Computador con conjunto de instrucciones reducido) es un tipo de diseño de CPU generalmente utilizado en microprocesadores o microcontroladores con las siguientes características fundamentales.

¡Nuevo!!: Premio Turing y Reduced instruction set computing · Ver más »

Richard Hamming

Richard Wesley Hamming (Chicago, Illinois, 11 de febrero de 1915 – Monterey, California, 7 de enero de 1998) fue un matemático estadounidense que trabajó en temas relacionados con la informática y las telecomunicaciones.

¡Nuevo!!: Premio Turing y Richard Hamming · Ver más »

Richard Karp

Richard Manning Karp (Boston, (Estados Unidos), 3 de enero de 1935) es un científico de la computación, conocido por su investigación en teoría de algoritmos, por lo que recibió el Premio Turing en 1985, el premio del Instituto Franklin en 2004 y el Premio Kioto en 2008.

¡Nuevo!!: Premio Turing y Richard Karp · Ver más »

Richard Stearns

Richard Edwin Stearns, nacido el 5 de julio de 1936, es un prominente científico de la computación.

¡Nuevo!!: Premio Turing y Richard Stearns · Ver más »

Robert Kahn

Robert Elliot Kahn (Nueva York, 24 de diciembre de 1938) es un informático estadounidense.

¡Nuevo!!: Premio Turing y Robert Kahn · Ver más »

Robert Metcalfe

Robert "Bob" Metcalfe nació en Brooklyn, Nueva York, el 7 de abril de 1946.

¡Nuevo!!: Premio Turing y Robert Metcalfe · Ver más »

Robert Tarjan

Robert Endre Tarjan (Pomona, California; 30 de abril de 1948) es un científico de la computación estadounidense.

¡Nuevo!!: Premio Turing y Robert Tarjan · Ver más »

Robert W. Floyd

Robert W. Floyd (8 de junio de 1936 - 25 de septiembre de 2001) fue un prominente científico estadounidense en informática.

¡Nuevo!!: Premio Turing y Robert W. Floyd · Ver más »

Robin Milner

Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010).

¡Nuevo!!: Premio Turing y Robin Milner · Ver más »

Ronald Rivest

Ronald Linn Rivest (6 de mayo de 1947) es un criptógrafo y profesor en el MIT.

¡Nuevo!!: Premio Turing y Ronald Rivest · Ver más »

RSA

En criptografía, RSA (Rivest, Shamir y Adleman) es un sistema criptográfico de clave pública desarrollado en 1979, que utiliza factorización de números enteros.

¡Nuevo!!: Premio Turing y RSA · Ver más »

Shafrira Goldwasser

Shafrira Goldwasser (שפרירה גולדווסר; n. 1958 en Nueva York) es una profesora RSA de ingeniería eléctrica y ciencias de la computación en el MIT, y profesora de matemática en el Instituto Weizmann de Ciencias, Israel.

¡Nuevo!!: Premio Turing y Shafrira Goldwasser · Ver más »

Silvio Micali

Silvio Micali (Palermo, 13 de octubre de 1954) es un informático italiano que es profesor del Instituto Tecnológico de Massachusetts (MIT) desde 1983 y trabaja en el MIT Computer Science and Artificial Intelligence Laboratory.

¡Nuevo!!: Premio Turing y Silvio Micali · Ver más »

Simula

Simula es un lenguaje de programación orientada a objetos (POO) de 1962.

¡Nuevo!!: Premio Turing y Simula · Ver más »

Sistema operativo

Un sistema operativo (SO) es el conjunto de programas de un sistema informático que gestiona los recursos del hardware y provee servicios a los programas de aplicación de software.

¡Nuevo!!: Premio Turing y Sistema operativo · Ver más »

Smalltalk

Smalltalk es un lenguaje reflexivo de programación, orientado a objetos y con tipado dinámico.

¡Nuevo!!: Premio Turing y Smalltalk · Ver más »

Stephen Cook

Stephen Arthur Cook (1939, Búfalo (Nueva York)) es un reconocido científico de la computación.

¡Nuevo!!: Premio Turing y Stephen Cook · Ver más »

Teoría de la complejidad computacional

La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.

¡Nuevo!!: Premio Turing y Teoría de la complejidad computacional · Ver más »

Tim Berners-Lee

Timothy "Tim" John Berners-Lee (Londres, Inglaterra; 8 de junio de 1955) es un científico de la computación británico, conocido por ser el padre de la World Wide Web.

¡Nuevo!!: Premio Turing y Tim Berners-Lee · Ver más »

Unix

Unix (registrado oficialmente como UNIX®) es un sistema operativo portable, multitarea y multiusuario; desarrollado en 1969 por un grupo de empleados de los laboratorios Bell de AT&T.

¡Nuevo!!: Premio Turing y Unix · Ver más »

Verificación de modelos

La verificación de modelos (o Model checking) es un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático.

¡Nuevo!!: Premio Turing y Verificación de modelos · Ver más »

Vinton Cerf

Vinton «Vint» Gray Cerf (New Haven, Connecticut, 23 de junio de 1943) es un científico de la computación estadounidense, considerado uno de los padres de Internet.

¡Nuevo!!: Premio Turing y Vinton Cerf · Ver más »

Whitfield Diffie

Bailey Whitfield "Whit" Diffie (5 de junio de 1944) es un criptógrafo estadounidense y un pionero en la criptografía asimétrica.

¡Nuevo!!: Premio Turing y Whitfield Diffie · Ver más »

William Kahan

William Velvel Kahan (nació el 5 de junio de 1933 en Toronto, Canadá).

¡Nuevo!!: Premio Turing y William Kahan · Ver más »

World Wide Web

En informática, la World Wide Web (La Web) o red informática mundial es un sistema que funciona a través de internet, por el cual se pueden transmitir diversos tipos de datos a través del Protocolo de Transferencia de Hipertextos o HTTP, que son los enlaces de la página web.

¡Nuevo!!: Premio Turing y World Wide Web · Ver más »

Yann LeCun

Yann André LeCun (/ ləˈkʌn / Pronunciación en francés:; originalmente escrito Le Cun; nacido el 8 de julio de 1960) es un informático franco-estadounidense que trabaja principalmente en los campos del aprendizaje automático, visión por computadora, robótica móvil y neurociencia computacional.

¡Nuevo!!: Premio Turing y Yann LeCun · Ver más »

Yoshua Bengio

Yoshua Bengio FRS OC FRSC (nacido en 1964 en París, Francia) es un informático canadiense, más conocido por su trabajo en redes neuronales artificiales y aprendizaje profundo.

¡Nuevo!!: Premio Turing y Yoshua Bengio · Ver más »

1966

1966 fue un año común comenzado en sábado según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1966 · Ver más »

1967

1967 fue un año común comenzado en domingo según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1967 · Ver más »

1968

1968 fue un año bisiesto comenzado en lunes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1968 · Ver más »

1969

1969 fue un año común comenzado en miércoles según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1969 · Ver más »

1970

1970 fue un año común comenzado en jueves según el calendario gregoriano, declarado Año Internacional de la Educación por la Organización de las Naciones Unidas.

¡Nuevo!!: Premio Turing y 1970 · Ver más »

1971

1971 fue un año común comenzado en viernes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1971 · Ver más »

1972

1972 fue un año bisiesto comenzado en sábado según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1972 · Ver más »

1973

1973 fue un año común comenzado en lunes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1973 · Ver más »

1974

1974 fue un año común comenzado en martes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1974 · Ver más »

1975

1975 fue un año común comenzado en miércoles según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1975 · Ver más »

1976

1976 fue un año bisiesto comenzado en jueves según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1976 · Ver más »

1977

1977 fue un año común comenzado en sábado según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1977 · Ver más »

1978

  1978 fue un año común comenzado en domingo según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1978 · Ver más »

1979

1979 fue un año común comenzado en lunes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1979 · Ver más »

1980

1980 fue un año bisiesto comenzado en martes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1980 · Ver más »

1981

1981 fue un año común comenzado en jueves en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1981 · Ver más »

1982

1982 fue un año común comenzado en viernes en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1982 · Ver más »

1983

1983 fue un año común comenzado en sábado en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1983 · Ver más »

1984

1984 fue un año bisiesto comenzado en domingo en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1984 · Ver más »

1985

1985 fue un año común comenzado en martes en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1985 · Ver más »

1986

1986 fue un año común comenzado en miércoles en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1986 · Ver más »

1987

1987 fue un año común comenzado en jueves en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1987 · Ver más »

1988

1988 fue un año bisiesto comenzado en viernes en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1988 · Ver más »

1989

1989 fue un año común comenzado en domingo en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1989 · Ver más »

1990

1990 fue un año común comenzado en lunes en el calendario gregoriano, y fue designado como.

¡Nuevo!!: Premio Turing y 1990 · Ver más »

1991

1991 fue un año común comenzado en martes del calendario gregoriano.

¡Nuevo!!: Premio Turing y 1991 · Ver más »

1992

1992 fue un año bisiesto que comenzó en miércoles según el calendario gregoriano y fue declarado como el año Internacional del Espacio por la Organización de las Naciones Unidas.

¡Nuevo!!: Premio Turing y 1992 · Ver más »

1993

1993 fue un año común comenzado en viernes del calendario gregoriano.

¡Nuevo!!: Premio Turing y 1993 · Ver más »

1994

1994 fue un año común comenzado en sábado del calendario gregoriano.

¡Nuevo!!: Premio Turing y 1994 · Ver más »

1995

1995 fue un año común comenzado en domingo del calendario gregoriano.

¡Nuevo!!: Premio Turing y 1995 · Ver más »

1996

1996 fue un año bisiesto comenzado en lunes en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1996 · Ver más »

1997

1997 fue un año común comenzado en miércoles en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1997 · Ver más »

1998

1998 fue un año común comenzado en jueves en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1998 · Ver más »

1999

1999 fue un año común comenzado en viernes en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 1999 · Ver más »

2000

2000 fue un año bisiesto comenzado en sábado en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2000 · Ver más »

2001

2001 fue un año común comenzado en lunes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2001 · Ver más »

2002

2002 fue un año común comenzado en martes, y terminado en martes, según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2002 · Ver más »

2003

2003 fue un año común comenzado en miércoles según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2003 · Ver más »

2004

2004 fue un año bisiesto comenzado en jueves según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2004 · Ver más »

2005

2005 fue un año común comenzado en sábado según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2005 · Ver más »

2006

2006 fue un año común comenzado en domingo según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2006 · Ver más »

2007

2007 fue un año común comenzado en lunes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2007 · Ver más »

2008

2008 fue un año bisiesto comenzado en martes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2008 · Ver más »

2009

2009 fue un año común comenzado en jueves según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2009 · Ver más »

2010

2010 fue un año común comenzado en viernes según el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2010 · Ver más »

2011

2011 fue un año común comenzado en sábado en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2011 · Ver más »

2012

2012 fue un año bisiesto comenzado en domingo en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2012 · Ver más »

2013

2013 fue un año común comenzado en martes en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2013 · Ver más »

2014

2014 fue un año común comenzado en miércoles, según el calendario gregoriano; decimocuarto del tercer milenio y cuarto de segunda década del.

¡Nuevo!!: Premio Turing y 2014 · Ver más »

2015

() fue un año común comenzado en jueves en el calendario gregoriano, fue también el número 2015 anno Dómini, de la era cristiana o de la era común, además del decimoquinto del tercer milenio, el quinto de la segunda década del y el sexto del decenio de los años 2010.

¡Nuevo!!: Premio Turing y 2015 · Ver más »

2016

2016 fue un año bisiesto comenzado en viernes del calendario gregoriano.

¡Nuevo!!: Premio Turing y 2016 · Ver más »

2017

2017 fue un año común comenzado en domingo según el calendario gregoriano; decimoséptimo año del y del III milenio.

¡Nuevo!!: Premio Turing y 2017 · Ver más »

2018

2018 fue un año común comenzado en lunes en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2018 · Ver más »

2019

2019 fue un año común comenzado en martes en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2019 · Ver más »

2020

2020 fue un año bisiesto comenzado en miércoles en el calendario gregoriano.

¡Nuevo!!: Premio Turing y 2020 · Ver más »

2021

2021 fue un año común comenzado en viernes en el calendario gregoriano, el número 2021 Anno Domini.

¡Nuevo!!: Premio Turing y 2021 · Ver más »

2022

2022 fue un año común comenzado en sábado en el calendario gregoriano, el número 2022 anno Domini, además del vigésimo segundo año del y del iii milenio.

¡Nuevo!!: Premio Turing y 2022 · Ver más »

Redirecciona aquí:

Premio ACM Turing, Turing Award.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »