Многотомная работа посвящена систематическому изложению общих формализмов, математических моделей и алгоритмических методов, которые могут быть использованы при моделировании и исследованиях математических моделей объектов облачных технологий.
Развиваются представления и методы решения задач облачных технологий, основанные на теориях эвристического поиска и автоматизированного проектирования облачных управляющих систем, а также процедуральные методы, базирующиеся на классе проблемно-ориентированных языков, сочетающих свойства языков программирования и автоматических решателей задач отображения облачных технологий различными математическими средствами.
В работе излагаются основы теории облачных технологий такими математическими средствами как: множества, отношения, поверхности, пространства, алгебраические системы, матрицы, графы, математическая логика и др.
Для бакалавров, специалистов, магистров, аспирантов, докторантов всех специальностей.