l'accesso più veloce di browser!
155 relazioni: Adi Shamir, Alan Kay, Alan Perlis, Alan Turing, Algoritmo di Dijkstra, Allen Newell, Analisi numerica, APL, Architettura (computer), Association for Computing Machinery, Backus-Naur Form, Barbara Liskov, Base di dati, Browser, Calcolo distribuito, Charles Bachman, Compilatore, Computer, Computer grafica, Concorrenza (informatica), Crittografia, Crittografia asimmetrica, CTSS, Dana Scott, Database management system, David Patterson, Dennis Ritchie, Donald Knuth, Douglas Engelbart, Edgar F. Codd, Edsger Dijkstra, Elaborazione dati, Fernando J. Corbató, Firma digitale, Frances E. Allen, Google, Hardware, Herbert Simon, IBM, Informatica, Ingegneria del software, Institute of Electrical and Electronics Engineers, Intel, Intelligenza artificiale, Internet, Ivan Sutherland, James H. Wilkinson, Jim Gray, John Backus, John Cocke, ..., John Hopcroft, John L. Hennessy, John McCarthy, Joseph Sifakis, Ken Thompson, Kenneth Iverson, Leonard Adleman, Leslie Lamport, Leslie Valiant, Libreria (software), Manuel Blum, Martin Hellman, Marvin Minsky, Maurice Wilkes, Medaglia Fields, Michael Rabin, ML (linguaggio di programmazione), Model checking, Multics, Niklaus Wirth, NP-completo, Premio Nevanlinna, Premio Nobel, Premio Schock, Programmazione orientata agli oggetti, Reduced instruction set computer, Richard Hamming, Richard Karp, Rivista accademica, Robert Floyd, Robert Kahn, Robert Tarjan, Robin Milner, Ronald Rivest, Shafi Goldwasser, Silvio Micali, Sistema operativo, Software, Stephen Cook, Tablet PC, Teoria della calcolabilità, Teoria della complessità computazionale, Tim Berners-Lee, Tony Hoare, Università Carnegie Mellon, Unix, Vint Cerf, Whitfield Diffie, William Kahan, World Wide Web, Xerox Alto, 1912, 1954, 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. Espandi índice (105 più) »
Adi Shamir
È uno degli inventori dell'algoritmo RSA (insieme a Ron Rivest e Leonard Adleman) ed ha fornito vari contributi sia nel campo della crittografia che dell'informatica.
Nuovo!!: Premio Turing e Adi Shamir · Mostra di più »
Alan Kay
Si laurea in matematica e biologia molecolare presso l'University of Colorado; consegue un master e un dottorato presso l'University of Utah.
Nuovo!!: Premio Turing e Alan Kay · Mostra di più »
Alan Perlis
Laureato in chimica e matematica rispettivamente nel 1943 e 1949 vinse il primo Premio Turing nel 1966 per la sua influenza nelle tecniche avanzate di programmazione e per la costruzione di numerosi compilatori.
Nuovo!!: Premio Turing e Alan Perlis · Mostra di più »
Alan Turing
Il suo lavoro ebbe vasta influenza sullo sviluppo dell'informatica, grazie alla sua formalizzazione dei concetti di algoritmo e calcolo mediante la macchina di Turing, che a sua volta ha svolto un ruolo significativo nella creazione del moderno computer.
Nuovo!!: Premio Turing e Alan Turing · Mostra di più »
Algoritmo di Dijkstra
L'algoritmo di Dijkstra è un algoritmo utilizzato per cercare i cammini minimi in un grafo con o senza ordinamento, ciclico e con pesi non negativi sugli archi.
Nuovo!!: Premio Turing e Algoritmo di Dijkstra · Mostra di più »
Allen Newell
Come ricercatore è stato attivo soprattutto nel campo dell'intelligenza artificiale (IA) e della psicologia cognitiva.
Nuovo!!: Premio Turing e Allen Newell · Mostra di più »
Analisi numerica
L'analisi numerica (detta anche calcolo numerico o calcolo scientifico) è una branca della matematica applicata che risolve i modelli prodotti dall'analisi matematica alle scomposizioni finite normalmente praticabili, coinvolgendo il concetto di approssimazione.
Nuovo!!: Premio Turing e Analisi numerica · Mostra di più »
APL
L'APL (sigla di A Programming Language) è un linguaggio di programmazione ideato da Kenneth Iverson nel 1962.
Nuovo!!: Premio Turing e APL · Mostra di più »
Architettura (computer)
L'architettura informatica è l'insieme dei criteri in base ai quali è progettato e realizzato un sistema informatico oppure un dispositivo facente parte di esso.
Nuovo!!: Premio Turing e Architettura (computer) · Mostra di più »
Association for Computing Machinery
La Association for Computing Machinery (ACM) è un'associazione internazionale accademica e senza scopo di lucro dedicata a scienziati ed educatori dell'informatica ACM,.
Nuovo!!: Premio Turing e Association for Computing Machinery · Mostra di più »
Backus-Naur Form
La BNF (Backus-Naur Form o Backus Normal Form) è una metasintassi, ovvero un formalismo attraverso cui è possibile descrivere la sintassi di linguaggi formali (il prefisso meta ha proprio a che vedere con la natura circolare di questa definizione).
Nuovo!!: Premio Turing e Backus-Naur Form · Mostra di più »
Barbara Liskov
Attualmente è Ford Professor di Ingegneria nel dipartimento di Ingegneria elettronica ed Informatica al Massachusetts Institute of Technology.
Nuovo!!: Premio Turing e Barbara Liskov · Mostra di più »
Base di dati
Con base di dati o banca dati (a volte abbreviato con la sigla DB dall'inglese data base) in informatica si indica un insieme di dati, omogeneo per contenuti e per formato, memorizzati in un elaboratore elettronico e interrogabili via terminale utilizzando le chiavi di accesso previste.
Nuovo!!: Premio Turing e Base di dati · Mostra di più »
Browser
In informatica il web browser (o più semplicemente browser) è un'applicazione per il recupero, la presentazione e la navigazione di risorse sul web.
Nuovo!!: Premio Turing e Browser · Mostra di più »
Calcolo distribuito
Il calcolo distribuito è un campo dell'informatica che studia i sistemi distribuiti.
Nuovo!!: Premio Turing e Calcolo distribuito · Mostra di più »
Charles Bachman
Charles Bachman è nato a Manhattan (Kansas) nel 1924, dove suo padre, Charlie Bachman, era il capo allenatore di football all'Università dello Stato del Kansas.
Nuovo!!: Premio Turing e Charles Bachman · Mostra di più »
Compilatore
Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto).
Nuovo!!: Premio Turing e Compilatore · Mostra di più »
Computer
Un computer (pronuncia italiana), in italiano anche elaboratore (vedi «aspetti linguistici»), è una macchina automatizzata in grado di eseguire complessi calcoli matematici ed eventualmente altri tipi di elaborazioni dati.
Nuovo!!: Premio Turing e Computer · Mostra di più »
Computer grafica
Per computer grafica, grafica digitale o grafica computerizzata (in inglese computer graphics), si intende quella disciplina che ha per oggetto la creazione di immagini e filmati, per mezzo del computer.
Nuovo!!: Premio Turing e Computer grafica · Mostra di più »
Concorrenza (informatica)
In informatica la concorrenza è una caratteristica dei sistemi di elaborazione nei quali può verificarsi che un insieme di processi o sottoprocessi (thread) computazionali sia in esecuzione nello stesso istante.
Nuovo!!: Premio Turing e Concorrenza (informatica) · Mostra di più »
Crittografia
La crittografia (dall'unione di due parole greche: κρυπτóς che significa "nascosto", e γραφία che significa "scrittura") è la branca della crittologia che tratta delle "scritture nascoste", ovvero dei metodi per rendere un messaggio "offuscato" in modo da non essere comprensibile/intelligibile a persone non autorizzate a leggerlo.
Nuovo!!: Premio Turing e Crittografia · Mostra di più »
Crittografia asimmetrica
La crittografia asimmetrica, conosciuta anche come crittografia a coppia di chiavi, crittografia a chiave pubblica/privata o anche solo crittografia a chiave pubblica, è un tipo di crittografia dove, come si evince dal nome, ad ogni attore coinvolto nella comunicazione è associata una coppia di chiavi.
Nuovo!!: Premio Turing e Crittografia asimmetrica · Mostra di più »
CTSS
Il CTSS (Compatible Time-Sharing System) è un sistema operativo sviluppato al MIT e presentato per la prima volta nel 1961.
Nuovo!!: Premio Turing e CTSS · Mostra di più »
Dana Scott
È stato professore emerito di informatica all'Hillman University, filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California.
Nuovo!!: Premio Turing e Dana Scott · Mostra di più »
Database management system
In informatica, un Database Management System, abbreviato in DBMS o Sistema di gestione di basi di dati, è un sistema software progettato per consentire la creazione, la manipolazione e l'interrogazione efficiente di database, per questo detto anche "gestore o motore del database", e ospitato su architettura hardware dedicata oppure su semplice computer.
Nuovo!!: Premio Turing e Database management system · Mostra di più »
David Patterson
È uno dei pionieri dell'architettura RISC e della tecnologia RAID.
Nuovo!!: Premio Turing e David Patterson · Mostra di più »
Dennis Ritchie
È stato uno dei pionieri dell'informatica moderna, importante per essere stato l'inventore del linguaggio C e, assieme al suo storico collega Ken Thompson, per aver scritto il sistema operativo Unix.
Nuovo!!: Premio Turing e Dennis Ritchie · Mostra di più »
Donald Knuth
Rinomato studioso di matematica (soprattutto di conoscenze che ora sono confluite nell'informatica), è professore emerito presso la Stanford University.
Nuovo!!: Premio Turing e Donald Knuth · Mostra di più »
Douglas Engelbart
È conosciuto per essere stato l'inventore, in collaborazione con Bill English, del primo mouse, ma anche per essere stato un pioniere dell'interazione uomo-computer.
Nuovo!!: Premio Turing e Douglas Engelbart · Mostra di più »
Edgar F. Codd
Edgar F. Codd nacque a Portland su un'isola nella contea del Dorset in Inghilterra e studiò matematica e chimica all'Exeter College dell'Università di Oxford.
Nuovo!!: Premio Turing e Edgar F. Codd · Mostra di più »
Edsger Dijkstra
Edsger Wybe Dijkstra è nato a Rotterdam l'11 maggio del 1930.
Nuovo!!: Premio Turing e Edsger Dijkstra · Mostra di più »
Elaborazione dati
L'elaborazione dati (in inglese data processing) è un qualsiasi procedimento informatico che comporta la conversione dei dati in informazioni, dove.
Nuovo!!: Premio Turing e Elaborazione dati · Mostra di più »
Fernando J. Corbató
Categoria:Vincitori del premio Turing.
Nuovo!!: Premio Turing e Fernando J. Corbató · Mostra di più »
Firma digitale
La firma digitale è uno schema matematico per dimostrare l'autenticità di un messaggio o di un documento digitale inviato attraverso un canale non sicuro: una firma digitale valida garantisce al destinatario che il mittente del messaggio sia chi dice di essere (autenticazione), che il mittente non possa negare di averlo inviato (non ripudio), e che il messaggio non sia stato alterato lungo il percorso dal mittente al destinatario (integrità).
Nuovo!!: Premio Turing e Firma digitale · Mostra di più »
Frances E. Allen
Pioniere nel campo dei compilatori ottimizzanti, i suoi successi includono il lavoro seminale nei compilatori, l'ottimizzazione dei codici e la parallelizzazione.
Nuovo!!: Premio Turing e Frances E. Allen · Mostra di più »
Google Search (pronuncia italiana; in inglese) è un motore di ricerca per Internet il cui dominio è stato registrato il 15 settembre 1997.
Nuovo!!: Premio Turing e Google · Mostra di più »
Hardware
L'hardware è la parte fisica di un computer, ovvero tutte quelle parti elettroniche, elettriche, meccaniche, magnetiche, ottiche che ne consentono il funzionamento.
Nuovo!!: Premio Turing e Hardware · Mostra di più »
Herbert Simon
Le sue ricerche spaziano nei campi della psicologia cognitiva, dell'informatica, dell'economia, del management e della filosofia della scienza.
Nuovo!!: Premio Turing e Herbert Simon · Mostra di più »
IBM
L'International Business Machines Corporation (comunemente nota come IBM, e soprannominata "Big Blue"), è un'azienda statunitense, tra le maggiori al mondo nel settore informatico.
Nuovo!!: Premio Turing e IBM · Mostra di più »
Informatica
L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.
Nuovo!!: Premio Turing e Informatica · Mostra di più »
Ingegneria del software
Per ingegneria del software (software engineering in inglese) si intende quella disciplina che si occupa dei processi produttivi e delle metodologie di sviluppo finalizzate alla realizzazione di sistemi software.
Nuovo!!: Premio Turing e Ingegneria del software · Mostra di più »
Institute of Electrical and Electronics Engineers
Lo IEEE, acronimo di Institute of Electrical and Electronic Engineers (in italiano: Istituto degli ingegneri elettrici ed elettronici), spesso pronunciato I triple E, è un'associazione internazionale di scienziati professionisti con l'obiettivo della promozione delle scienze tecnologiche.
Nuovo!!: Premio Turing e Institute of Electrical and Electronics Engineers · Mostra di più »
Intel
Intel Corporation è un'azienda multinazionale USA fondata nel 1968 con sede a Santa Clara (California).
Nuovo!!: Premio Turing e Intel · Mostra di più »
Intelligenza artificiale
Definizioni specifiche possono essere date focalizzandosi o sui processi interni di ragionamento o sul comportamento esterno del sistema intelligente ed utilizzando come misura di efficacia o la somiglianza con il comportamento umano o con un comportamento ideale, detto razionale.
Nuovo!!: Premio Turing e Intelligenza artificiale · Mostra di più »
Internet
Internet è una rete ad accesso pubblico che connette vari dispositivi o terminali in tutto il mondo.
Nuovo!!: Premio Turing e Internet · Mostra di più »
Ivan Sutherland
Categoria:Vincitori del premio Turing.
Nuovo!!: Premio Turing e Ivan Sutherland · Mostra di più »
James H. Wilkinson
Nessuna descrizione.
Nuovo!!: Premio Turing e James H. Wilkinson · Mostra di più »
Jim Gray
Gray trascorse i primi anni della propria vita a Roma, dove il padre lavorava come spia nell'esercito americano.
Nuovo!!: Premio Turing e Jim Gray · Mostra di più »
John Backus
Per ovviare alla difficoltà di programmazione del calcolatori dell'epoca, nel 1954 Backus iniziò la direzione di un progetto di ricerca della IBM per il progetto e la realizzazione di un linguaggio di programmazione più vicino alla comune notazione matematica.
Nuovo!!: Premio Turing e John Backus · Mostra di più »
John Cocke
Categoria:Vincitori del premio Turing.
Nuovo!!: Premio Turing e John Cocke · Mostra di più »
John Hopcroft
Nell'ambito dell'informatica teorica ha scritto, insieme a Jeffrey D. Ullman e Rajeev Motwani, il libro Introduction to Automata Theory, Languages, and Computation (tradotto in italiano da Giovanni Pighizzini con il titolo Automi, linguaggi e calcolabilità).
Nuovo!!: Premio Turing e John Hopcroft · Mostra di più »
John L. Hennessy
Hennessy è diventato un membro dell'università di Stanford nel 1977, dopo aver ricevuto una laurea di primo livello (Bachelor) in Ingegneria Elettrica presso la Villanova University e una di secondo livello in Informatica presso la State University of New York at Stony Brook, dove ha conseguito il Ph.D. nella stessa materia.
Nuovo!!: Premio Turing e John L. Hennessy · Mostra di più »
John McCarthy
McCarthy si distingueva per le sue conoscenze di logica matematica in relazione all'Intelligenza Artificiale.
Nuovo!!: Premio Turing e John McCarthy · Mostra di più »
Joseph Sifakis
Fu tra i primi a contribuire alla teoria del model checking.
Nuovo!!: Premio Turing e Joseph Sifakis · Mostra di più »
Ken Thompson
È un pioniere dell'informatica moderna, noto per il suo lavoro sul sistema operativo UNIX.
Nuovo!!: Premio Turing e Ken Thompson · Mostra di più »
Kenneth Iverson
Ha ottenuto il Turing Award nel 1979 per i suoi contributi alla notazione matematica e alla teoria dei linguaggi di programmazione.
Nuovo!!: Premio Turing e Kenneth Iverson · Mostra di più »
Leonard Adleman
Ha contribuito nel 1978 con Ronald Rivest e Adi Shamir allo sviluppo del sistema di crittografia asimmetrica RSA che infatti è un acronimo costituito dalle iniziali dei cognomi dei tre creatori: Ron Rivest, Adi Shamir, e Leonard Adleman.
Nuovo!!: Premio Turing e Leonard Adleman · Mostra di più »
Leslie Lamport
È noto per essere stato pioniere degli studi scientifici nell'ambito del calcolo distribuito, per i quali ha ricevuto il premio Turing 2013, nonché ideatore di LaTeX, un'estensione al software tipografico TeX.
Nuovo!!: Premio Turing e Leslie Lamport · Mostra di più »
Leslie Valiant
Nessuna descrizione.
Nuovo!!: Premio Turing e Leslie Valiant · Mostra di più »
Libreria (software)
Una libreria, in Informatica, è un insieme di funzioni o strutture dati predefinite e predisposte per essere collegate ad un programma software attraverso un opportuno collegamento.
Nuovo!!: Premio Turing e Libreria (software) · Mostra di più »
Manuel Blum
Nel 1995 ha ricevuto il premio Turing per il suo contributo nel campo della teoria della complessità computazionale e della crittografia.
Nuovo!!: Premio Turing e Manuel Blum · Mostra di più »
Martin Hellman
È noto per gli studi sulla crittografia che ha condotto nei primi anni settanta insieme a Whitfield Diffie e Ralph Merkle.
Nuovo!!: Premio Turing e Martin Hellman · Mostra di più »
Marvin Minsky
Fu cofondatore dellArtificial Intelligence Project (divenuto, in seguito, Artificial Intelligence Laboratory) presso il Massachusetts Institute of Technology (MIT) di Cambridge (Massachusetts) e autore di numerosi testi riguardanti l'AI e la filosofia.
Nuovo!!: Premio Turing e Marvin Minsky · Mostra di più »
Maurice Wilkes
In particolare, un suo articolo del 1958, dal titolo "Microprogramming" ha contribuito notevolmente alla diffusione della microprogrammazione e ne costituisce un riferimento classico.
Nuovo!!: Premio Turing e Maurice Wilkes · Mostra di più »
Medaglia Fields
La International Medal for Outstanding Discoveries in Mathematics, o più semplicemente medaglia Fields, è un premio riconosciuto a matematici che non abbiano superato l'età di 40 anni in occasione del Congresso internazionale dei matematici della International Mathematical Union (IMU), che si tiene ogni quattro anni.
Nuovo!!: Premio Turing e Medaglia Fields · Mostra di più »
Michael Rabin
Categoria:Vincitori del premio Turing.
Nuovo!!: Premio Turing e Michael Rabin · Mostra di più »
ML (linguaggio di programmazione)
ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM.
Nuovo!!: Premio Turing e ML (linguaggio di programmazione) · Mostra di più »
Model checking
Il model checking è un metodo per verificare algoritmicamente i sistemi formali.
Nuovo!!: Premio Turing e Model checking · Mostra di più »
Multics
Multics (Multiplexed Information and Computing Service) fu uno dei primi sistemi operativi in time-sharing, sviluppato attivamente a partire dal 1964.
Nuovo!!: Premio Turing e Multics · Mostra di più »
Niklaus Wirth
Niklaus Wirth è l'inventore dei linguaggi di programmazione Pascal, Modula-2, e Oberon.
Nuovo!!: Premio Turing e Niklaus Wirth · Mostra di più »
NP-completo
Nella teoria della complessità computazionale i problemi NP-completi sono i più difficili problemi nella classe NP ("problemi non deterministici in tempo polinomiale") nel senso che, se si trovasse un algoritmo in grado di risolvere "velocemente" (nel senso di utilizzare tempo polinomiale) un qualsiasi problema NP-completo, allora si potrebbe usarlo per risolvere "velocemente" ogni problema in NP.
Nuovo!!: Premio Turing e NP-completo · Mostra di più »
Premio Nevanlinna
Il premio Nevanlinna, intitolato al matematico finlandese Rolf Nevanlinna (1895 - 1980), è assegnato ogni quattro anni a chi ha dato rilevanti contributi agli aspetti matematici della scienza dell'informazione.
Nuovo!!: Premio Turing e Premio Nevanlinna · Mostra di più »
Premio Nobel
Il premio Nobel (pronuncia svedese; in italiano o) è un'onorificenza di valore mondiale attribuita annualmente a persone viventi che si sono distinte nei diversi campi dello scibile, apportando «i maggiori benefici all'umanità» per le loro ricerche, scoperte e invenzioni, per l'opera letteraria, per l'impegno in favore della pace mondiale.
Nuovo!!: Premio Turing e Premio Nobel · Mostra di più »
Premio Schock
I premi Schock furono istituiti per volontà del filosofo e artista Rolf Schock (1933 - 1986).
Nuovo!!: Premio Turing e Premio Schock · Mostra di più »
Programmazione orientata agli oggetti
In informatica la programmazione orientata agli oggetti (OOP, Object Oriented Programming) è un paradigma di programmazione che permette di definire oggetti software in grado di interagire gli uni con gli altri attraverso lo scambio di messaggi.
Nuovo!!: Premio Turing e Programmazione orientata agli oggetti · Mostra di più »
Reduced instruction set computer
L'acronimo RISC, dall'inglese Reduced Instruction Set Computer, indica una filosofia di progettazione di architetture per microprocessori che predilige lo sviluppo di un'architettura semplice e lineare.
Nuovo!!: Premio Turing e Reduced instruction set computer · Mostra di più »
Richard Hamming
Dopo il dottorato conseguito all'Università dell'Illinois nel 1942, Hamming fu professore all'Università di Louisville fino all'inizio della Seconda guerra mondiale.
Nuovo!!: Premio Turing e Richard Hamming · Mostra di più »
Richard Karp
Nel 1972 ha pubblicato un elenco di 21 problemi NP-completi.
Nuovo!!: Premio Turing e Richard Karp · Mostra di più »
Rivista accademica
Nell'editoria accademica una rivista accademica è un periodico in cui vengono pubblicati contributi tecnico-scientifici di scienziati ed esperti di una disciplina accademica previa revisione paritaria (in inglese, peer review).
Nuovo!!: Premio Turing e Rivista accademica · Mostra di più »
Robert Floyd
Categoria:Vincitori del premio Turing.
Nuovo!!: Premio Turing e Robert Floyd · Mostra di più »
Robert Kahn
Insieme a Vinton Cerf, inventò il protocollo TCP/IP, la tecnologia usata per trasmettere informazioni in Internet.
Nuovo!!: Premio Turing e Robert Kahn · Mostra di più »
Robert Tarjan
Nel 1969 ha conseguito il Bachelor's degree in matematica dal California Institute of Technology e presso la Stanford University ha ottenuto nel 1971 il Master's degree in computer science e nel 1972 il Ph.D. in computer science e secondariamente in matematica, sotto la supervisione di Robert Floyd e Donald Knuth.
Nuovo!!: Premio Turing e Robert Tarjan · Mostra di più »
Robin Milner
Categoria:Vincitori del premio Turing.
Nuovo!!: Premio Turing e Robin Milner · Mostra di più »
Ronald Rivest
Il suo lavoro più noto è sicuramente il sistema di crittografia asimmetrica che ha sviluppato assieme a Leonard Adleman e Adi Shamir: il crittosistema RSA (1978).
Nuovo!!: Premio Turing e Ronald Rivest · Mostra di più »
Shafi Goldwasser
È inoltre vincitrice di due premi Godel ricevuti nel 1993 e nel 2001.
Nuovo!!: Premio Turing e Shafi Goldwasser · Mostra di più »
Silvio Micali
Sin da piccolo si dimostrò particolarmente dotato per la matematica e la logica.
Nuovo!!: Premio Turing e Silvio Micali · Mostra di più »
Sistema operativo
Un sistema operativo (abbreviato in SO), in informatica, è un software di sistema che gestisce le risorse hardware e software della macchina, fornendo servizi di base ai software applicativi (programmi) installati.
Nuovo!!: Premio Turing e Sistema operativo · Mostra di più »
Software
Il software è l'informazione o le informazioni - utilizzate da uno o più sistemi informatici - memorizzate su uno o più supporti informatici e che possono essere rappresentate da uno o più programmi, da uno o più dati, oppure da una combinazione di questi due.
Nuovo!!: Premio Turing e Software · Mostra di più »
Stephen Cook
Nessuna descrizione.
Nuovo!!: Premio Turing e Stephen Cook · Mostra di più »
Tablet PC
Il tablet PC, (letteralmente PC tabulare) è un computer portatile che grazie alla presenza di uno o più digitalizzatori (in inglese: digitizers) permette all'utente di interfacciarsi con il sistema direttamente sullo schermo mediante una penna e, in particolari modelli, anche le dita.
Nuovo!!: Premio Turing e Tablet PC · Mostra di più »
Teoria della calcolabilità
La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.
Nuovo!!: Premio Turing e Teoria della calcolabilità · Mostra di più »
Teoria della complessità computazionale
In informatica, la teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Nuovo!!: Premio Turing e Teoria della complessità computazionale · Mostra di più »
Tim Berners-Lee
Figlio di professori universitari, nel 1976 si laureò in fisica al Queen's College dell'Università di Oxford, dove, in seguito, costruì il suo primo computer.
Nuovo!!: Premio Turing e Tim Berners-Lee · Mostra di più »
Tony Hoare
Ha trovato larga fama grazie all'invenzione, nel 1960, del quicksort, l'algoritmo di ordinamento più usato al mondo.
Nuovo!!: Premio Turing e Tony Hoare · Mostra di più »
Università Carnegie Mellon
L'Università Carnegie Mellon (in inglese Carnegie Mellon University) è una università privata di Pittsburgh, in Pennsylvania.
Nuovo!!: Premio Turing e Università Carnegie Mellon · Mostra di più »
Unix
Unix (registrato ufficialmente come UNIX) è un sistema operativo portabile per computer inizialmente sviluppato da un gruppo di ricerca dei laboratori AT&T e Bell Laboratories, nel quale figurarono sulle prime anche Ken Thompson e Dennis Ritchie.
Nuovo!!: Premio Turing e Unix · Mostra di più »
Vint Cerf
È conosciuto come uno dei "padri di Internet" insieme a Bob Kahn, con cui inventò la suite di protocolli TCP/IP.
Nuovo!!: Premio Turing e Vint Cerf · Mostra di più »
Whitfield Diffie
È uno dei pionieri della crittografia a chiave pubblica e ha pertanto ricevuto il premio Turing 2015.
Nuovo!!: Premio Turing e Whitfield Diffie · Mostra di più »
William Kahan
Ha ricevuto il premio Turing nel 1989 per i suoi contributi in analisi numerica.
Nuovo!!: Premio Turing e William Kahan · Mostra di più »
World Wide Web
Il World Wide Web (letteralmente "rete di grandezza mondiale"), abbreviato Web, sigla WWW o W3, è uno dei principali servizi di Internet, che permette di navigare e usufruire di un insieme molto vasto di contenuti amatoriali e professionali (multimediali e non) collegati tra loro attraverso legami (link), e di ulteriori servizi accessibili a tutti o ad una parte selezionata degli utenti di Internet.
Nuovo!!: Premio Turing e World Wide Web · Mostra di più »
Xerox Alto
Lo Xerox Alto è una workstation della Xerox Corporation progettata dalla Xerox PARC e completata nel 1973.
Nuovo!!: Premio Turing e Xerox Alto · Mostra di più »
1912
Nessuna descrizione.
Nuovo!!: Premio Turing e 1912 · Mostra di più »
1954
Nessuna descrizione.
Nuovo!!: Premio Turing e 1954 · Mostra di più »
1966
Nessuna descrizione.
Nuovo!!: Premio Turing e 1966 · Mostra di più »
1967
Nessuna descrizione.
Nuovo!!: Premio Turing e 1967 · Mostra di più »
1968
Nessuna descrizione.
Nuovo!!: Premio Turing e 1968 · Mostra di più »
1969
Nessuna descrizione.
Nuovo!!: Premio Turing e 1969 · Mostra di più »
1970
Nessuna descrizione.
Nuovo!!: Premio Turing e 1970 · Mostra di più »
1971
Nessuna descrizione.
Nuovo!!: Premio Turing e 1971 · Mostra di più »
1972
Nessuna descrizione.
Nuovo!!: Premio Turing e 1972 · Mostra di più »
1973
Nessuna descrizione.
Nuovo!!: Premio Turing e 1973 · Mostra di più »
1974
Nessuna descrizione.
Nuovo!!: Premio Turing e 1974 · Mostra di più »
1975
Nessuna descrizione.
Nuovo!!: Premio Turing e 1975 · Mostra di più »
1976
Nessuna descrizione.
Nuovo!!: Premio Turing e 1976 · Mostra di più »
1977
Nessuna descrizione.
Nuovo!!: Premio Turing e 1977 · Mostra di più »
1978
Nessuna descrizione.
Nuovo!!: Premio Turing e 1978 · Mostra di più »
1979
Nessuna descrizione.
Nuovo!!: Premio Turing e 1979 · Mostra di più »
1980
Nessuna descrizione.
Nuovo!!: Premio Turing e 1980 · Mostra di più »
1981
Nessuna descrizione.
Nuovo!!: Premio Turing e 1981 · Mostra di più »
1982
Nessuna descrizione.
Nuovo!!: Premio Turing e 1982 · Mostra di più »
1983
Nessuna descrizione.
Nuovo!!: Premio Turing e 1983 · Mostra di più »
1984
Nessuna descrizione.
Nuovo!!: Premio Turing e 1984 · Mostra di più »
1985
Nessuna descrizione.
Nuovo!!: Premio Turing e 1985 · Mostra di più »
1986
Nessuna descrizione.
Nuovo!!: Premio Turing e 1986 · Mostra di più »
1987
Nessuna descrizione.
Nuovo!!: Premio Turing e 1987 · Mostra di più »
1988
Nessuna descrizione.
Nuovo!!: Premio Turing e 1988 · Mostra di più »
1989
Nessuna descrizione.
Nuovo!!: Premio Turing e 1989 · Mostra di più »
1990
Nessuna descrizione.
Nuovo!!: Premio Turing e 1990 · Mostra di più »
1991
Nessuna descrizione.
Nuovo!!: Premio Turing e 1991 · Mostra di più »
1992
Nessuna descrizione.
Nuovo!!: Premio Turing e 1992 · Mostra di più »
1993
Nessuna descrizione.
Nuovo!!: Premio Turing e 1993 · Mostra di più »
1994
Nessuna descrizione.
Nuovo!!: Premio Turing e 1994 · Mostra di più »
1995
Nessuna descrizione.
Nuovo!!: Premio Turing e 1995 · Mostra di più »
1996
Nessuna descrizione.
Nuovo!!: Premio Turing e 1996 · Mostra di più »
1997
Nessuna descrizione.
Nuovo!!: Premio Turing e 1997 · Mostra di più »
1998
Nessuna descrizione.
Nuovo!!: Premio Turing e 1998 · Mostra di più »
1999
Nessuna descrizione.
Nuovo!!: Premio Turing e 1999 · Mostra di più »
2000
È stato l'ultimo anno del XX secolo e del II millennio, iniziato di sabato secondo il calendario Gregoriano.
Nuovo!!: Premio Turing e 2000 · Mostra di più »
2001
Il 2001 è stato il primo anno del XXI secolo dell'Era cristiana.
Nuovo!!: Premio Turing e 2001 · Mostra di più »
2002
È stato proclamato l'Anno internazionale delle montagne.
Nuovo!!: Premio Turing e 2002 · Mostra di più »
2003
Nessuna descrizione.
Nuovo!!: Premio Turing e 2003 · Mostra di più »
2004
È stato proclamato l'Anno internazionale del riso.
Nuovo!!: Premio Turing e 2004 · Mostra di più »
2005
Nessuna descrizione.
Nuovo!!: Premio Turing e 2005 · Mostra di più »
2006
Nessuna descrizione.
Nuovo!!: Premio Turing e 2006 · Mostra di più »
2007
Nessuna descrizione.
Nuovo!!: Premio Turing e 2007 · Mostra di più »
2008
Nessuna descrizione.
Nuovo!!: Premio Turing e 2008 · Mostra di più »
2009
Nessuna descrizione.
Nuovo!!: Premio Turing e 2009 · Mostra di più »
2010
È stato dichiarato dalle Nazioni Unite Anno Internazionale della biodiversità e proclamato dal Parlamento europeo Anno della lotta alla povertà e all'esclusione sociale.
Nuovo!!: Premio Turing e 2010 · Mostra di più »
2011
Nessuna descrizione.
Nuovo!!: Premio Turing e 2011 · Mostra di più »
2012
Nessuna descrizione.
Nuovo!!: Premio Turing e 2012 · Mostra di più »
2013
Nessuna descrizione.
Nuovo!!: Premio Turing e 2013 · Mostra di più »
2014
Nessuna descrizione.
Nuovo!!: Premio Turing e 2014 · Mostra di più »
2015
Nessuna descrizione.
Nuovo!!: Premio Turing e 2015 · Mostra di più »
2016
Nessuna descrizione.
Nuovo!!: Premio Turing e 2016 · Mostra di più »
2017
Nessuna descrizione.
Nuovo!!: Premio Turing e 2017 · Mostra di più »
