каф. информационных технологий в исследовании дискретных структур