18 relazioni: Algoritmo di ordinamento, Andrej Nikolaevič Kolmogorov, Colombo (Sri Lanka), Edsger Dijkstra, Elliott Brothers, Lingua russa, Logica di Hoare, Marktoberdorf, Microsoft, Premio Turing, Quicksort, Royal Navy, Università di Oxford, Università statale di Mosca, 1972, 1985, 1992, 1998.
Algoritmo di ordinamento
Un algoritmo di ordinamento (sorting algorithm) è un algoritmo che viene utilizzato per elencare gli elementi di un insieme secondo una sequenza stabilita da una relazione d'ordine, in modo che ogni elemento sia minore (o maggiore) di quello che lo segue.
Nuovo!!: Tony Hoare e Algoritmo di ordinamento · Mostra di più »
Andrej Nikolaevič Kolmogorov
Tra i più importanti e influenti matematici del XX secolo, compì importanti progressi in diversi campi accademici, tra cui la teoria delle probabilità, la topologia, la logica intuizionista, la turbolenza, la meccanica classica e la complessità computazionale.
Nuovo!!: Tony Hoare e Andrej Nikolaevič Kolmogorov · Mostra di più »
Colombo (Sri Lanka)
Colombo (කොළඹ trasl. Kolamba, IPA in singalese; கொழும்பு in tamil) è una città ed ex-capitale dello Sri Lanka; conta circa 600.000 abitanti (oltre 2 milioni considerando l'agglomerato urbano).
Nuovo!!: Tony Hoare e Colombo (Sri Lanka) · Mostra di più »
Edsger Dijkstra
Edsger Wybe Dijkstra è nato a Rotterdam l'11 maggio del 1930.
Nuovo!!: Tony Hoare e Edsger Dijkstra · Mostra di più »
Elliott Brothers
La Elliott Brothers (London) Ltd era una società produttrice di computer attiva durante gli anni cinquanta e sessanta nel Regno Unito, che si proponeva di ripercorrere il successo della società produttrice di strumenti fondata da William Elliott nel 1804 a Londra.
Nuovo!!: Tony Hoare e Elliott Brothers · Mostra di più »
Lingua russa
La lingua russa è una lingua slava orientale parlata in Russia e in svariate ex repubbliche dell'Unione Sovietica.
Nuovo!!: Tony Hoare e Lingua russa · Mostra di più »
Logica di Hoare
La logica di Hoare è un sistema formale che rientra tra le semantiche assiomatiche pubblicato per la prima volta nel 1969 da C. A. R. Hoare che si prefigge, definendo un insieme iniziale di assiomi e di regole su di essi, di valutare la correttezza di programmi utilizzando il rigore dei formalismi matematici.
Nuovo!!: Tony Hoare e Logica di Hoare · Mostra di più »
Marktoberdorf
Marktoberdorf è un comune tedesco di 18.222 abitanti, situato nel land della Baviera.
Nuovo!!: Tony Hoare e Marktoberdorf · Mostra di più »
Microsoft
Microsoft Corporation, (in precedenza Micro-soft Company e Microsoft Inc., detta comunemente per ellissi Microsoft) è una azienda d'informatica con sede a Redmond nello Stato di Washington (USA).
Nuovo!!: Tony Hoare e Microsoft · Mostra di più »
Premio Turing
L'A.M. Turing Award (in italiano, premio Turing) è un premio, assegnato annualmente dalla Association for Computing Machinery (ACM), ad una personalità che eccelle per i contributi di natura tecnica offerti alla comunità informatica, in particolare per progressi che siano duraturi e di elevata importanza tecnica.
Nuovo!!: Tony Hoare e Premio Turing · Mostra di più »
Quicksort
Quicksort è un algoritmo di ordinamento ricorsivo in place non stabile.
Nuovo!!: Tony Hoare e Quicksort · Mostra di più »
Royal Navy
La Royal Navy è la marina militare britannica, una delle componenti del Naval Service che comprende anche il corpo dei Royal Marines e il Royal Naval Reserve.
Nuovo!!: Tony Hoare e Royal Navy · Mostra di più »
Università di Oxford
L'Università di Oxford (in inglese: University of Oxford) è la più antica università del mondo anglosassone, la quarta università più antica d'Europa, dopo le tre antiche università italiane di Parma, Bologna e Padova.
Nuovo!!: Tony Hoare e Università di Oxford · Mostra di più »
Università statale di Mosca
L'Università statale Lomonosov di Mosca, fondata nel 1755, è la più grande e importante università della Russia.
Nuovo!!: Tony Hoare e Università statale di Mosca · Mostra di più »
1972
Nessuna descrizione.
Nuovo!!: Tony Hoare e 1972 · Mostra di più »
1985
Nessuna descrizione.
Nuovo!!: Tony Hoare e 1985 · Mostra di più »
1992
Nessuna descrizione.
Nuovo!!: Tony Hoare e 1992 · Mostra di più »
1998
Nessuna descrizione.
Nuovo!!: Tony Hoare e 1998 · Mostra di più »