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