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

Описание к видео Дискретный анализ 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
Лектор: Райгородский Андрей Михайлович
Оператор: Порай Екатерина
Монтажер: Гунин Александр

Плейлист:    • Дискретный анализ (2 курс, весна 2024...  

Комментарии

Информация по комментариям в разработке