Книга посвящена теории и численным методам гарантированного оценивания и аппроксимации множеств. Техника и математический аппарат интервального анализа строго обобщаются на процедуры работы с множествами. Впервые в монографической литературе легально рассматривается приложение разработанных методов к решению систем нелинейных уравнений и неравенств, задачам оптимизации, оценивания параметров и состояний, робастного управления и робототехники. Приводится подборка примеров и упражнений. Книга рассчитана на широкий круг читателей, студентов, аспирантов, инженеров и научных работников, занятых исследованием и проектированием систем обработки информации и систем управления, а также на математиков, вычислителей и программистов.