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