|
-
Ключові слова:
математична логіка, математическая логика ; мови програмування, языки программирования, computer program language ; розробка програмного забезпечення, разработка программного обеспечения, software engineering
-
Анотація:
На основі композиційно-номінативного підходу побудовано та досліджено нові класи спеціальних програмно-орієнтованих логічних формалізмів. Запропоновано композиційно-номінативні мультимодальні та епістемічні логіки. Досліджено семантичні властивості композиційно-номінативних логік темпорального. мультимодального та епістемічного типу на реномінативному та першопорядкових рівнях.
On the basis of composition-nominative approach we specify and investigate new classes of special-purpose program-oriented logical formalisms. We introduce composition-nominative multimodal and epistemic logics. Semantic properties of composition-nominative logics of temporal, multimodal and epistemic type at renominative and first-order levels are studied.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 