Метою досліджень є розробка принципів, методів і засобів проектування та реалізації нового покоління комп'ютерних математичних служб, які базуються на інтеграції дедуктивних, індуктивних та аналітичних ...

Предлагается новый подход к обоснованию справедливости гипотезы Гильберта-Поллака, которая высказанаоб оценке отношения длины дерева Штейнера к длине минимального остовного дерева на множестве точек плоскости. При введении ...

Решается проблема построения эффективных целеориентированных секвенциальных исчислений для классической логики первого порядка (без равенства). Приводятся результаты об их корректности и полноте. Устанавливается ...