Computer Science Center
На этом канале размещены видеозаписи лекций и докладов преподавателей Computer Science Center, короткие тематические записи на интересные темы в компьютерных науках или программировании. Мы публикуем материалы для ИТ-специалистов, студентов и школьников, интересующихся программированием и математикой.- 1:43:42
- Жыл бұрын
10. Декларативные модели памяти (2/2)
- 1:55:32
- Жыл бұрын
9. Декларативные модели памяти (1/2)
- 1:32:49
- Жыл бұрын
8. Введение в слабые модели памяти
- 59:12
- Жыл бұрын
7. Coq. Семантика малого шага, логика Хоара
- 1:42:15
- Жыл бұрын
6. Семантика малого шага, логика Хоара
- 1:00:17
- Жыл бұрын
5. Coq. Разбор д-ва терминируемости алгоритма Евклида
- 1:28:44
- Жыл бұрын
4. Множественные цели в Coq. Д-во корректности Constant Folding
- 58:40
- Жыл бұрын
3. Семантика большого шага для императивного языка
- 1:24:33
- Жыл бұрын
2. Введение в Coq
- 1:27:41
- Жыл бұрын
1. Семантика и её значение
- 57:20
- Жыл бұрын
13. Быстрое преобразование Фурье
- 1:27:43
- Жыл бұрын
12. Совершенное паросочетание минимальной стоимости
- 1:23:48
- Жыл бұрын
11. Линейное программирование
- 1:30:22
- Жыл бұрын
10. Fusion-дерево
- 1:21:30
- Жыл бұрын
9. Дерево ван Эмде Боаса. Быстрый цифровой бор
- 1:27:14
- Жыл бұрын
8. Потоки в транспортных сетях, часть 2
- 1:07:34
- Жыл бұрын
7. Потоки в транспортных сетях
- 1:20:58
- Жыл бұрын
6. Паросочетания в произвольных графах
- 1:06:40
- Жыл бұрын
5. Паросочетания в двудольных графах
- 1:30:56
- Жыл бұрын
4. Суффиксное дерево
- 1:25:00
- Жыл бұрын
3. Суффиксный массив
- 1:27:20
- Жыл бұрын
2. Алгоритм Ахо-Корасик
- 1:25:19
- Жыл бұрын
1. Приближённые алгоритмы
- 1:29:00
- Жыл бұрын
13. Параллельные алгоритмы
- 1:42:43
- Жыл бұрын
12. Алгоритмы во внешней памяти, часть 2
- 1:28:16
- Жыл бұрын
11. Алгоритмы во внешней памяти
- 1:49:43
- Жыл бұрын
10. Персистентные структуры данных
- 1:22:30
- Жыл бұрын
Пікірлер