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