Тип публикации: диссертация
Год издания: 2004
Ключевые слова: физико-математические науки, математика, Основания математики. Математическая логика, Логические исчисления. Исчисление высказываний, исчисление предикатов, вычислительная математика, приближенные вычисления, численные методы, Приближенное вычисление значений различных функций, Системный анализ, управление и обработка информации (по отраслям)