Аксіоматична семантика

Матеріал з Вікіпедії — вільної енциклопедії.
Версія від 19:29, 22 лютого 2020, створена BunykBot (обговорення | внесок) (Категоризація)
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до навігації Перейти до пошуку

Аксіоматична семантика — підхід до опису семантики системи за допомогою аксіоматичних теорій: теорії множин, натуральних чисел, математичної логіки. Система описується в рамках визначених понять за допомогою аксіом та правил виводу. Як база використовується апарат математичної логіки.

Використання аксіоматичної семантики дозволяє ввести поняття часткової коректності системи. Система частково коректна, якщо при задовільненні у початковому стані визначених умов (передумов) після завершення вона задовольняє відповідні умови (постумови).

Посилання[ред. | ред. код]