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