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