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