Дискретный анализ 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 — Завершение доказательства корректности работы алгоритма

Дата лекции: 13.05.2024
Лектор: Райгородский Андрей Михайлович
Оператор: Порай Екатерина
Монтажер: Гунин Александр

Плейлист: https://www.youtube.com/playlist?listPL4_hYwCyhAvapOxSWg1RMdePuubMLivKk

Воспользуйтесь возможностью поделиться этим видео со своими друзьями и семьей, если вы нашли его полезным.