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

Information
instance of	e/Formal methods

Meaning
Ukrainian
has gloss	ukr: Аксіоматична семантика – підхід до опису семантики системи за допомогою аксіоматичних теорій: теорії множин, натуральних чисел, математичної логіки. Система описується в рамках визначених понять за допомогою аксіом та правил виводу. В якості бази використовується апарат математичної логіки.
lexicalization	ukr: Аксіоматична семантика