|
-
Ключові слова:
дослідження, исследование, investigation, research ; логіка математична, логика математическая ; теорія алгоритмів, теория алгоритмов
-
Анотація:
Настоящий сборник содержит статьи, посвященные вопросам конструктивной сематики, теории сложности алгорифмов, конструктивного математического анализа и многозначных логик, а также дедуктивным аспектам формальных теорий и алгорифмическим проблемам математики.
-
Теми документа
-
ББК науковий // Основи математики та математична логіка
|
