Логіка Гоара: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 2:
== Тоні Гоар ==
[[File:CAR Hoare.jpg|thumb|[[Тоні Гоар]]]]
Сер '''[[Тоні Гоар|Чарлз Ентоні Річард Гоар]]''' ({{lang-en|Charles Antony Richard Hoare}} або ''Tony Hoare'' або ''C.A.R. Hoare'', народився [[11 січня]] [[1934]], [[Коломбо]], [[Цейлон]], [[Британська імперія]], сьогодні [[Шрі-Ланка]]) — англійський вчений, що працює в галузі інформатики та обчислювальної техніки. Найбільш відомий як розробник алгоритму «[[Швидке сортування|швидкого сортування]]» (англ. «quick sort»).
Інші відомі результати його праці: мова Z специфікацій та паралельна модель взаємодії послідовних процесів (CSP, Communicating Sequential Process). Серед його досягнень — розробка [[логіки Хоара|логіки Гоара]], наукової основи для конструювання коректних програм, яка використовується для визначення та розробки [[Мова програмування|мов програмування]].
== Трійки Гоара ==
|