Цитата из книги «Управление проектами. Фундаментальный курс»

с помощью логического аппарата представляется возможным формализовать описание предметных областей