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