38 relazioni: Algebra di Boole, Algoritmo, Algoritmo AKS, Algoritmo di fattorizzazione di Shor, Association for Computing Machinery, Dan Boneh, Informatica teorica, Kurt Gödel, László Lovász, Moshe Y. Vardi, Noga Alon, Peter Shor, Proprietà di Markov, Rajeev Motwani, Shafi Goldwasser, Silvio Micali, Teoria dei numeri, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013.
Algebra di Boole
L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.
Nuovo!!: Premio Gödel e Algebra di Boole · Mostra di più »
Algoritmo
Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.
Nuovo!!: Premio Gödel e Algoritmo · Mostra di più »
Algoritmo AKS
L'algoritmo AKS (dalle iniziali dei tre ideatori, i matematici indiani Manindra Agrawal, Neeraj Kayal e Nitin Saxena) è un test di primalità di complessità polinomiale.
Nuovo!!: Premio Gödel e Algoritmo AKS · Mostra di più »
Algoritmo di fattorizzazione di Shor
L'algoritmo di fattorizzazione di Shor è un algoritmo ideato da Peter Shor nel 1994 per risolvere il problema della fattorizzazione dei numeri interi in numeri primi.
Nuovo!!: Premio Gödel e Algoritmo di fattorizzazione di Shor · 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 Gödel e Association for Computing Machinery · Mostra di più »
Dan Boneh
Nato in Israele nel 1969, Boneh conseguì il Ph.D. in informatica presso la Princeton University nel 1996, sotto la supervisione di Richard J. Lipton.
Nuovo!!: Premio Gödel e Dan Boneh · Mostra di più »
Informatica teorica
L'informatica teorica è una branca dell'informatica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale.
Nuovo!!: Premio Gödel e Informatica teorica · Mostra di più »
Kurt Gödel
Ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege, le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.
Nuovo!!: Premio Gödel e Kurt Gödel · Mostra di più »
László Lovász
Nessuna descrizione.
Nuovo!!: Premio Gödel e László Lovász · Mostra di più »
Moshe Y. Vardi
I suoi interessi di ricerca ricoprono vari settori della logica applicata all'informatica, tra cui basi di dati, sistemi multi-agente, teoria degli automi.
Nuovo!!: Premio Gödel e Moshe Y. Vardi · Mostra di più »
Noga Alon
Nessuna descrizione.
Nuovo!!: Premio Gödel e Noga Alon · Mostra di più »
Peter Shor
Nel 1981 ha ricevuto il B.S. in matematica dal Caltech e nel 1985 presso il MIT ha conseguito il Ph.D. in matematica applicata con una tesi sull'analisi probabilistica degli algoritmi di bin-packing sotto la supervisione di Tom Leighton.
Nuovo!!: Premio Gödel e Peter Shor · Mostra di più »
Proprietà di Markov
Nella teoria della probabilità, la proprietà di Markov per un processo stocastico consiste nella dipendenza esclusiva dallo stato presente della variabile casuale dei futuri stati, e per esempio non dagli stati passati (la storia o percorso del processo) ma soltanto dall'ultima osservazione.
Nuovo!!: Premio Gödel e Proprietà di Markov · Mostra di più »
Rajeev Motwani
Era professore di informatica presso l'Università di Stanford.
Nuovo!!: Premio Gödel e Rajeev Motwani · Mostra di più »
Shafi Goldwasser
È inoltre vincitrice di due premi Godel ricevuti nel 1993 e nel 2001.
Nuovo!!: Premio Gödel e Shafi Goldwasser · Mostra di più »
Silvio Micali
Sin da piccolo si dimostrò particolarmente dotato per la matematica e la logica.
Nuovo!!: Premio Gödel e Silvio Micali · Mostra di più »
Teoria dei numeri
Tradizionalmente, la teoria dei numeri è quel ramo della matematica pura che si occupa delle proprietà dei numeri interi e contiene molti problemi aperti che possono essere facilmente compresi anche da chi non è un matematico.
Nuovo!!: Premio Gödel e Teoria dei numeri · Mostra di più »
1993
Nessuna descrizione.
Nuovo!!: Premio Gödel e 1993 · Mostra di più »
1994
Nessuna descrizione.
Nuovo!!: Premio Gödel e 1994 · Mostra di più »
1995
Nessuna descrizione.
Nuovo!!: Premio Gödel e 1995 · Mostra di più »
1996
Nessuna descrizione.
Nuovo!!: Premio Gödel e 1996 · Mostra di più »
1997
Nessuna descrizione.
Nuovo!!: Premio Gödel e 1997 · Mostra di più »
1998
Nessuna descrizione.
Nuovo!!: Premio Gödel e 1998 · Mostra di più »
1999
Nessuna descrizione.
Nuovo!!: Premio Gödel 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 Gödel e 2000 · Mostra di più »
2001
Il 2001 è stato il primo anno del XXI secolo dell'Era cristiana.
Nuovo!!: Premio Gödel e 2001 · Mostra di più »
2002
È stato proclamato l'Anno internazionale delle montagne.
Nuovo!!: Premio Gödel e 2002 · Mostra di più »
2003
Nessuna descrizione.
Nuovo!!: Premio Gödel e 2003 · Mostra di più »
2004
È stato proclamato l'Anno internazionale del riso.
Nuovo!!: Premio Gödel e 2004 · Mostra di più »
2005
Nessuna descrizione.
Nuovo!!: Premio Gödel e 2005 · Mostra di più »
2006
Nessuna descrizione.
Nuovo!!: Premio Gödel e 2006 · Mostra di più »
2007
Nessuna descrizione.
Nuovo!!: Premio Gödel e 2007 · Mostra di più »
2008
Nessuna descrizione.
Nuovo!!: Premio Gödel e 2008 · Mostra di più »
2009
Nessuna descrizione.
Nuovo!!: Premio Gödel 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 Gödel e 2010 · Mostra di più »
2011
Nessuna descrizione.
Nuovo!!: Premio Gödel e 2011 · Mostra di più »
2012
Nessuna descrizione.
Nuovo!!: Premio Gödel e 2012 · Mostra di più »
2013
Nessuna descrizione.
Nuovo!!: Premio Gödel e 2013 · Mostra di più »