Computer Science Center | Poke

Computer Science Center @UC0YHNueF-3Nh3uQT0P4YQZw@youtube.com

162K subscribers - no pronouns :c

На этом канале размещены видеозаписи лекций и докладов препо

Videos Live Posts Playlists

Recently Uploaded Popular Oldest

12. Семантические зависимости для моделей памяти (2/2)

11. Семантические зависимости для моделей памяти (1/2). Структуры событий

10. Декларативные модели памяти (2/2)

9. Декларативные модели памяти (1/2)

8. Введение в слабые модели памяти

7. Coq. Семантика малого шага, логика Хоара

6. Семантика малого шага, логика Хоара

5. Coq. Разбор д-ва терминируемости алгоритма Евклида

4. Множественные цели в Coq. Д-во корректности Constant Folding

3. Семантика большого шага для императивного языка

2. Введение в Coq

1. Семантика и её значение

13. Быстрое преобразование Фурье

12. Совершенное паросочетание минимальной стоимости

11. Линейное программирование

10. Fusion-дерево

9. Дерево ван Эмде Боаса. Быстрый цифровой бор

8. Потоки в транспортных сетях, часть 2

7. Потоки в транспортных сетях

6. Паросочетания в произвольных графах

5. Паросочетания в двудольных графах

4. Суффиксное дерево

3. Суффиксный массив

2. Алгоритм Ахо-Корасик

1. Приближённые алгоритмы

13. Параллельные алгоритмы

12. Алгоритмы во внешней памяти, часть 2

11. Алгоритмы во внешней памяти

10. Персистентные структуры данных

9. Scapegoat Tree

8. Euler Tour Tree и динамическая связность

7. Теория чисел

6. Центроидная декомпозиция

5. HLD и link-cut tree

3. Дерево поиска

2. Дерево отрезков

13. Вывод типов

12. Трансформеры монад

11. Использование монад

10. Монады

9. Использование аппликативных функторов

8. Аппликативные функторы

7. Свертки

6. Классы типов

5. Типы данных

4. Введение в Haskell

3. Просто типизированное лямбда-исчисление

2. Рекурсия и редукция

1. Лямбда-исчисление

12. Очередь Майкла-Скотта. RCU

11. Проблема ABA. TLS. Линеаризуемость

10. Профилирование

9. Модель памяти: барьеры памяти, модели памяти

15. Транзакционная память

14. Шаблоны || программирования

13. Асинхронный ввод/вывод. Корутины

8. Модель памяти

7. Атомарные снимки регистров