Indice
15 relazioni: ALGOL, 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.
- Informatici britannici
- Persone legate a Colombo (Sri Lanka)
ALGOL
ALGOL (abbreviazione di ALGOrithmic Language, ossia linguaggio algoritmico) è un linguaggio di programmazione sviluppato nel 1958. In un certo senso fu una reazione al Fortran; introdusse concetti fondamentali come lo stack dei record di attivazione e per certi versi si può considerare capostipite di una grande famiglia di linguaggi di notevole successo, dal Pascal al C.
Vedere Tony Hoare e ALGOL
Algoritmo di ordinamento
Un algoritmo di ordinamento è un algoritmo che viene utilizzato per posizionare 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.
Vedere Tony Hoare e Algoritmo di ordinamento
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.
Vedere Tony Hoare e Andrej Nikolaevič Kolmogorov
Colombo (Sri Lanka)
Colombo (in singalese: කොළඹ trasl. koḷam̆ba, IPA; in tamil: கொழும்பு trasl. Koḻumpu) è una città dello Sri Lanka di quasi abitanti (oltre 2 milioni considerando l'agglomerato urbano).
Vedere Tony Hoare e Colombo (Sri Lanka)
Edsger Dijkstra
Edsger Wybe Dijkstra nacque a Rotterdam l'11 maggio del 1930. Suo padre, Douwe Wybe Dijkstra, fu un professore di chimica alle scuole superiori e servì come presidente della Dutch Chemical Society.
Vedere Tony Hoare e Edsger Dijkstra
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.
Vedere Tony Hoare e Elliott Brothers
Lingua russa
La lingua russa è una lingua slava orientale parlata in Russia, in svariati territori storicamente appartenuti all'Impero russo e in diverse ex Repubbliche Socialiste Sovietiche dell'Unione Sovietica.
Vedere Tony Hoare e Lingua russa
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.
Vedere Tony Hoare e Logica di Hoare
Marktoberdorf
Marktoberdorf è una città tedesca, situata nel Land della Baviera.
Vedere Tony Hoare e Marktoberdorf
Microsoft
Microsoft Corporation (in precedenza Micro-Soft Company, comunemente Microsoft) è un'azienda multinazionale statunitense d'informatica con sede nel Microsoft Campus a Redmond nello Stato di Washington (Stati Uniti).
Vedere Tony Hoare e Microsoft
Premio Turing
LA.M. Turing Award (in italiano, premio Turing) è un premio, assegnato annualmente dalla Association for Computing Machinery (ACM), a 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.
Vedere Tony Hoare e Premio Turing
Quicksort
Quicksort è un algoritmo di ordinamento ricorsivo in place non stabile. Tale procedura ricorsiva viene comunemente detta partition: preso un elemento chiamato "pivot" da una struttura dati (es. array) si pongono gli elementi minori a sinistra rispetto al pivot e gli elementi maggiori a destra.
Vedere Tony Hoare e Quicksort
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.
Vedere Tony Hoare e Royal Navy
Università di Oxford
L'Università di Oxford (in inglese: University of Oxford) è la più antica università del mondo anglosassone. Talora si usa l'espressione Oxbridge per riferirsi allo stesso tempo sia all'Università di Oxford che all'Università di Cambridge.
Vedere Tony Hoare e Università di Oxford
Università statale di Mosca
L'Università statale Lomonosov di Mosca, fondata nel 1755, è la più grande e importante università della Russia. Essa ospita circa 47 000 studenti, a fronte di un corpo docente di circa 5 500 persone.
Vedere Tony Hoare e Università statale di Mosca
Vedi anche
Informatici britannici
- Andrew Donald Booth
- Andrew Ng
- Geoffrey Hinton
- Gordon Plotkin
- James H. Wilkinson
- John Barnes (informatico)
- Karen Spärck Jones
- Leslie Valiant
- Maurice Wilkes
- Philip Wadler
- Robert Kowalski
- Robin Milner
- Rollo Carpenter
- Simon Peyton Jones
- Sophie Wilson
- Stephen Bourne
- Tom Kilburn
- Tony Hoare
Persone legate a Colombo (Sri Lanka)
- Ananda Coomaraswamy
- Beverley Craven
- Chandrika Kumaratunga
- Charles Forbes
- Frederick George Donnan
- Jayanthi Kuru-Utumpala
- Junius Richard Jayewardene
- Nirj Deva
- Paul E. P. Deraniyagala
- Ranil Wickremesinghe
- Solomon Bandaranaike
- Tony Hoare
Conosciuto come C. A. R. Hoare.