Изложены методы решения задач преобразования четких и нечетких множеств, бинарных отношений, исчисления высказываний и булевой алгебры. Приведены примеры и задачи минимизации формул алгебры логики, описания графов и основных операций над ними. Описаны алгоритмы отыскания кратчайших путей и максимальных потоков, комбинаторных соотношений и эффективного кодирования. Изложены основные задачи линейных векторных пространств, функциональных преобразований. Рассмотрены задачи анализа и синтеза конечных автоматов. Для студентов, аспирантов вузов, обучающихся по направлению "Управление в технических системах" и смежных с ним.