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