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