Алгоритмічна логіка Гоара (також відома як Флойда-Гоара) — це формальна система з множиною логічних правил для строгого доведення коректності програм[en]...

Логіка в інформатиці — це напрям досліджень та галузей знань, де логіка застосовується в інформатиці та штучному інтелекті. Використання логіки дуже ефективне...

Числення висловлень Логіка Гоара Багатозначна логіка Нормативна логіка Деонтична логіка Модальна логіка Металогіка Логіка в інформатиці Великий тлумачний...

Трійка — в математиці назва кортежу з трьох елементів. Трійка Гоара — основний інструмент логіки Гоара. Велика трійка — термін, вживаний у світовий політиці,...

операційна семантика, денотаційна семантика, аксіоматична семантика (Логіка Гоара), математична семантика програм. кінцевий автомат позначена модель станів...

Логічні висловлювання (чи́слення висло́влень, логіка висловлень, пропозиційна логіка, англ. propositional calculus) — поняття висловлювання, як і поняття...

об'єкта у комбінаторній логіці, пізніше узагальнену в алгоритм виведення типів Гіндлі-Мілнера. У 1969 році Тоні Гоар вводить логіку Гоара, форму аксіоматичної...

Communicating Sequential Processes). Серед його досягнень — розробка логіки Гоара, наукової основи для конструювання коректних програм, яка використовується...

result := val return result Логіка «короткої схеми» (з побічними ефектами або без них) була формалізована на основі логіки Гоара. Результатом є те, що оператори...

засноване на працях з формальної специфікації, формальної верифікації та логіці Гоара. Контрактне програмування дає чітку концепцію керування процесом проєктування...

типу Гоара ця специфікація має вигляд тверджень, які називають перед- та післяумовами. В сукупності з самою програмою, їх ще називають трійками Гоара. Ці...