Computer Science Center
162K subscribers
1:30:52
12. Семантические зависимости для моделей памяти (2/2)
Computer Science Center
11K views • 2 years ago
1:26:11
11. Семантические зависимости для моделей памяти (1/2). Структуры событий
Computer Science Center
2.4K views • 2 years ago
1:43:42
10. Декларативные модели памяти (2/2)
Computer Science Center
1.7K views • 2 years ago
1:55:32
9. Декларативные модели памяти (1/2)
Computer Science Center
1K views • 2 years ago
1:32:49
8. Введение в слабые модели памяти
Computer Science Center
1.7K views • 2 years ago
59:12
7. Coq. Семантика малого шага, логика Хоара
Computer Science Center
733 views • 2 years ago
1:42:15
6. Семантика малого шага, логика Хоара
Computer Science Center
1.3K views • 2 years ago
1:00:17
5. Coq. Разбор д-ва терминируемости алгоритма Евклида
Computer Science Center
706 views • 2 years ago
1:28:44
4. Множественные цели в Coq. Д-во корректности Constant Folding
Computer Science Center
683 views • 2 years ago
58:40
3. Семантика большого шага для императивного языка
Computer Science Center
1.4K views • 2 years ago
1:24:33
2. Введение в Coq
Computer Science Center
2.4K views • 2 years ago
1:27:41
1. Семантика и её значение
Computer Science Center
16K views • 2 years ago
57:20
13. Быстрое преобразование Фурье
Computer Science Center
6.6K views • 2 years ago
1:27:43
12. Совершенное паросочетание минимальной стоимости
Computer Science Center
1.3K views • 2 years ago
1:23:48
11. Линейное программирование
Computer Science Center
2.2K views • 2 years ago
1:30:22
10. Fusion-дерево
Computer Science Center
1K views • 2 years ago
1:21:30
9. Дерево ван Эмде Боаса. Быстрый цифровой бор
Computer Science Center
887 views • 2 years ago
1:27:14
8. Потоки в транспортных сетях, часть 2
Computer Science Center
635 views • 2 years ago
1:07:34
7. Потоки в транспортных сетях
Computer Science Center
1.4K views • 2 years ago
1:20:58
6. Паросочетания в произвольных графах
Computer Science Center
514 views • 2 years ago
1:06:40
5. Паросочетания в двудольных графах
Computer Science Center
1.1K views • 2 years ago
1:30:56
4. Суффиксное дерево
Computer Science Center
1.3K views • 2 years ago
1:25:00
3. Суффиксный массив
Computer Science Center
1.4K views • 2 years ago
1:27:20
2. Алгоритм Ахо-Корасик
Computer Science Center
3K views • 2 years ago
1:25:19
1. Приближённые алгоритмы
Computer Science Center
3.5K views • 2 years ago
1:29:00
13. Параллельные алгоритмы
Computer Science Center
1.2K views • 2 years ago
1:42:43
12. Алгоритмы во внешней памяти, часть 2
Computer Science Center
3.3K views • 2 years ago
1:28:16
11. Алгоритмы во внешней памяти
Computer Science Center
1.3K views • 2 years ago
1:49:43
10. Персистентные структуры данных
Computer Science Center
1.1K views • 2 years ago
1:22:30
9. Scapegoat Tree
Computer Science Center
941 views • 2 years ago
Load More