Математика
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