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