|
-
Ключові слова:
конструювання програм, конструирование програм ; логіка предикатів, логика предикатов, predicate logic ; сингулярність, сингулярность
-
Анотація:
Сингулярні логіки часткових предикатів є логіками конкретного рівня абстракції, які задаються фіксованим класом даних. В статті досліджуються алгебри предикатів сингулярного рівня, визначається мова сингулярної логіки та будується її повне інфінітарне екваційне числення.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
