14 vzťahy: Hoareova logika, Informatika, Kolombo, Problém obedujúcich filozofov, Programovací jazyk, Quicksort, Srí Lanka, Triediaci algoritmus, Turingova cena, Veľká Británia, Verifikácia, 11. január, 1934, 1980.
Hoareova logika
Hoareova logika alebo Floydova-Hoareova logika je formálny systém logických pravidiel používaný pri verifikácii počítačových programov.
Nový!!: Charles Antony Richard Hoare a Hoareova logika · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Charles Antony Richard Hoare a Informatika · Pozrieť viac »
Kolombo
Kolombo je najväčšie mesto Srí Lanky.
Nový!!: Charles Antony Richard Hoare a Kolombo · Pozrieť viac »
Problém obedujúcich filozofov
Problém obedujúcich filozofov (dining philosophers problem) je myšlienkový experiment, ktorý sa používa na overenie správnej činnosti správy procesov.
Nový!!: Charles Antony Richard Hoare a Problém obedujúcich filozofov · Pozrieť viac »
Programovací jazyk
Programovací jazyk je nástroj na systematický opis postupu, výpočtu, správania, zmeny stavu, opis objektov, ich vlastností a štruktúr.
Nový!!: Charles Antony Richard Hoare a Programovací jazyk · Pozrieť viac »
Quicksort
Animácia činnosti algoritmuQuicksort alebo rýchle triedenie je jeden zo známych triediacich algoritmov založených na porovnávaní prvkov.
Nový!!: Charles Antony Richard Hoare a Quicksort · Pozrieť viac »
Srí Lanka
Srí Lanka (-kodifikovaný slovenský tvar; nekodifikovaný tvar opierajúci sa viac o pôvodnú výslovnosť: Šrí Lanka alebo ešte presnejšie Šrí Lanká), dlhý tvar Srílanská demokratická socialistická republika (do roku 1972 Cejlón), je štát ležiaci na ostrove Cejlón v Indickom oceáne.
Nový!!: Charles Antony Richard Hoare a Srí Lanka · Pozrieť viac »
Triediaci algoritmus
vpravo Triediaci algoritmus je v informatike algoritmus, ktorý zoraďuje prvky zoznamu v určenom poradí.
Nový!!: Charles Antony Richard Hoare a Triediaci algoritmus · Pozrieť viac »
Turingova cena
Cena A. M. Turinga (angl. ACM A.M. Turing Award) je ocenenie, udeľované každoročne Asociáciou výpočtovej techniky (ACM) jednotlivcom za ich technický prínos počítačovej komunite.
Nový!!: Charles Antony Richard Hoare a Turingova cena · Pozrieť viac »
Veľká Británia
Veľká Británia alebo skrátene (nepresne) Británia môže byť.
Nový!!: Charles Antony Richard Hoare a Veľká Británia · Pozrieť viac »
Verifikácia
Verifikácia môže byť.
Nový!!: Charles Antony Richard Hoare a Verifikácia · Pozrieť viac »
11. január
Žiadny popis.
Nový!!: Charles Antony Richard Hoare a 11. január · Pozrieť viac »
1934
Žiadny popis.
Nový!!: Charles Antony Richard Hoare a 1934 · Pozrieť viac »
1980
Žiadny popis.
Nový!!: Charles Antony Richard Hoare a 1980 · Pozrieť viac »
Presmerovanie tu:
Antony Hoare, C. A. R. Hoare, C. Antony R. Hoare, Tony Hoare.