Аксіоматична семантика: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
MobyVan (обговорення | внесок) |
|||
Рядок 1:
'''Аксіоматична семантика''' — підхід до опису [[семантика системи|семантики системи]] за допомогою
[[Аксіоматичний метод|аксіоматичних теорій]]: [[теорія множин|теорії множин]], [[натуральне число|натуральних чисел]], [[математична логіка|математичної логіки]]. Система описується в рамках визначених понять за допомогою [[аксіома|аксіом]] та [[правило виводу|правил виводу]]. Як база використовується апарат математичної логіки.
Використання аксіоматичної семантики дозволяє ввести поняття часткової коректності системи. Система частково коректна, якщо при задовільненні у початковому стані визначених умов (передумов) після завершення вона задовольняє відповідні умови (постумови).
== Посилання ==
|