Математика
13 лекций
Методы искусственного интеллекта в задачах анализа данных и верификации программ
Лекции
1
Лекция 1. Верификация алгоритмов вычисления суммы, корня и возведения в степень
01:20:19
2
Лекция 2. Верификация алгоритмов возведения в степень и сортировки массива
01:20:02
3
Лекция 3. Верификация алгоритма сортировки массива
01:23:40
4
Лекция 4. Верификация функциональной программы сортировки строки
01:20:43
5
Лекция 5. Теория процессов
01:15:18
6
Лекция 6. Теория процессов для конфиденциального обмена информацией
01:22:39
7
Лекция 7. Шифрование электронных платежей и model checking
01:26:51
8
Лекция 8. Прогнозирование в больших данных
01:21:45
9
Лекция 9. Верификация алгоритмов с бинарными и численными потерями
01:27:08
10
Лекция 10. Усиление алгоритмов машинного обучения
01:17:58
11
Лекция 11. Алгоритмы следования за лидером
01:18:41
12
Лекция 12. Метод опорных векторов
01:11:49
13
Лекция 13. Агрегирующий алгоритм и теоретико-игровые методы
01:21:38