Алгоритмічна логіка Гоара (також відома як Флойда-Гоара) — це формальна система з множиною логічних правил для строгого доведення коректності програм[en]...
24 KB (1,843 words) - 14:56, 8 February 2023
Логіка в інформатиці — це напрям досліджень та галузей знань, де логіка застосовується в інформатиці та штучному інтелекті. Використання логіки дуже ефективне...
46 KB (3,314 words) - 10:46, 29 October 2023
Числення висловлень Логіка Гоара Багатозначна логіка Нормативна логіка Деонтична логіка Модальна логіка Металогіка Логіка в інформатиці Великий тлумачний...
46 KB (3,165 words) - 06:59, 9 November 2024
Трійка — в математиці назва кортежу з трьох елементів. Трійка Гоара — основний інструмент логіки Гоара. Велика трійка — термін, вживаний у світовий політиці,...
3 KB (237 words) - 01:22, 1 February 2022
Формальна верифікація (category Логіка в інформатиці)
операційна семантика, денотаційна семантика, аксіоматична семантика (Логіка Гоара), математична семантика програм. кінцевий автомат позначена модель станів...
6 KB (329 words) - 20:21, 10 January 2024
Алгоритмічна логіка Гоара Логіка і формальні системи Багатозначна логіка Нормативна логіка Деонтична логіка Модальна логіка Металогіка Логіка в інформатиці...
28 KB (2,087 words) - 05:25, 22 August 2024
Communicating Sequential Processes). Серед його досягнень — розробка логіки Гоара, наукової основи для конструювання коректних програм, яку використовують...
14 KB (713 words) - 16:07, 26 July 2024
об'єкта у комбінаторній логіці, пізніше узагальнену в алгоритм виведення типів Гіндлі-Мілнера. У 1969 році Тоні Гоар вводить логіку Гоара, форму аксіоматичної...
20 KB (1,294 words) - 17:37, 17 January 2023
Обчислення за короткою схемою (category Математична логіка)
result := val return result Логіка «короткої схеми» (з побічними ефектами або без них) була формалізована на основі логіки Гоара. Результатом є те, що оператори...
21 KB (1,058 words) - 14:56, 26 February 2024
засноване на працях з формальної специфікації, формальної верифікації та логіці Гоара. Контрактне програмування дає чітку концепцію керування процесом проєктування...
10 KB (604 words) - 18:38, 9 June 2024
Алгоритм (category Математична логіка)
типу Гоара ця специфікація має вигляд тверджень, які називають перед- та післяумовами. В сукупності з самою програмою, їх ще називають трійками Гоара. Ці...
56 KB (3,528 words) - 22:42, 2 December 2024
Computing Machinery Відомий завдяки: Алгоритм Флойда — Воршелла, Логіка Флойда-Гоара, Сортування двійковим деревом У шлюбі з Крістіане Флойд Нагороди...
5 KB (197 words) - 17:30, 10 July 2024
Гоар Розробив формальну мову комунікаційних послідовних процесів (CSP), логіку Гоара для перевірки правильності програми та Quicksort. 1968 рік Бетті Голбертон...
45 KB (29 words) - 10:08, 12 November 2023