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