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