Целью освоения дисциплины является изучение основных понятий и методов перечислительной комбинаторики для последующего их использования при конструировании и оценки сложности алгоритмов, а также основных понятий и методов математической логики, необходимых для конструирования и верификации алгоритмов.
Файл рабочей программы (очная форма):
