В данном пособии значительное внимание уделено алгоритмическим методам при доказательствах теорем и решениях дискретных задач, методам математической логики, комбинаторному анализу и теории графов. Теоретический материал рассматривается на конкретных практических задачах и упражнениях. Материал пособия соответствует типовым программам высших учебных заведений стран СНГ, изучающих дискретную математику как фундаментальную основу многих естественных наук. Рассчитано на учащихся выпускных математических классов, студентов технических вузов и математических факультетов.