10 vzťahy: Axióma, Charles Antony Richard Hoare, Formálny systém, Informatika, Logika, Program (počítačový), Robert Floyd, Spojené kráľovstvo, Vývojový diagram, 1969.
Axióma
Axióma (slovo je žen. rodu; nesprávne: axióm, zastarano: axiom) alebo postulát je základná veta systému teórií, z ktorej sa pomocou pravidla odlúčenia dokazujú ostatné vety či teorémy daného systému.
Nový!!: Hoareova logika a Axióma · Pozrieť viac »
Charles Antony Richard Hoare
Charles Antony Richard Hoare (* 11. január 1934, Kolombo, Srí Lanka) je britský informatik.
Nový!!: Hoareova logika a Charles Antony Richard Hoare · Pozrieť viac »
Formálny systém
Formálny systém je reprezentácia axiomatickej teórie v podobe kalkulu.
Nový!!: Hoareova logika a Formálny systém · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Hoareova logika a Informatika · Pozrieť viac »
Logika
Logika (z gr. slova λόγος logos) je veda zaoberajúca sa vyplývaním.
Nový!!: Hoareova logika a Logika · Pozrieť viac »
Program (počítačový)
Počítačový program (alebo len program, syn. '''aplikácia''') je súbor príkazov a inštrukcií, respektíve ich postupnosť v zápise zrozumiteľnom počítaču, ktorá slúži na vykonanie úlohy v tomto počítači.
Nový!!: Hoareova logika a Program (počítačový) · Pozrieť viac »
Robert Floyd
Robert W Floyd (* 8. jún 1936, New York, USA - † 25. september 2001, Stanford, Kalifornia) bol americký informatik.
Nový!!: Hoareova logika a Robert Floyd · Pozrieť viac »
Spojené kráľovstvo
Spojené kráľovstvo Veľkej Británie a Severného Írska, štandardizovaným názvom Veľká Británia a Severné Írsko, skrátene aj Spojené kráľovstvo alebo Veľká Británia alebo len Británia, je ostrovný štát pri severozápadnom pobreží kontinentálnej Európy.
Nový!!: Hoareova logika a Spojené kráľovstvo · Pozrieť viac »
Vývojový diagram
lampičky žiarovky Vývojový diagram je druh diagramu, ktorý slúži na grafické znázornenie jednotlivých krokov algoritmu, pracovného postupu alebo nejakého procesu.
Nový!!: Hoareova logika a Vývojový diagram · Pozrieť viac »
1969
Žiadny popis.
Nový!!: Hoareova logika a 1969 · Pozrieť viac »