Аксіоматична семантика: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
→Посилання: + {{Ізольована стаття}}, за допомогою AWB |
м Автовиправлення |
||
Рядок 1:
'''Аксіоматична семантика'''
аксіоматичних теорій: теорії множин, натуральних чисел, математичної логіки. Система
описується в рамках визначених понять за допомогою аксіом та правил виводу. В якості
Рядок 9:
== Посилання ==
*[http://www.protsyk.com/sciref.pdf Петро Процик
{{Compu-prog-stub}}
|