Дискретный анализ 15. Алгоритм проверки на простоту

Таймкоды: 00:00:00 - Алгоритм проверки на простоту 00:17:16 - Теорема о верхней оценке r 00:33:55 - Доказательство корректности шага 5 00:39:38 - Определение перестановочности 00:41:27 - Лемма про перестановочность и следствие из нее 00:56:00 - Формулировка теорем 1 и 2 01:00:13 - Доказательство теоремы 1 01:08:12 - Доказательство теоремы 2 01:16:40 - Завершение доказательства корректности работы алгоритма Дата лекции: Лектор: Райгородский Андрей Михайлович Оператор: Порай Екатерина Монтажер: Гунин Александр Плейлист: