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