|
-
Ключові слова:
інформатика, информатика, informatica, informatyka, information science ; комп"ютерні науки, компьютерные науки
-
Анотація:
Побудовано секвенційні числення для нових класів програмно-орієнтованих логічних формалізмів – чистих першопорядкових транзиційних композиційно-номінативних модальних логік еквітонних предикатів. Для цих числень доведено теореми коректності та повноти
We constructed sequent calculi for new classes of program-oriented logical formalisms – pure first-order transitional composition-nominative modal logics of equitone predicates. For the defined calculi the soundness and completeness theorems are proved.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 