На этом канале размещены видеозаписи лекций и докладов преподавателей Computer Science Center, короткие тематические записи на интересные темы в компьютерных науках или программировании. Мы публикуем материалы для ИТ-специалистов, студентов и школьников, интересующихся программированием и математикой.

• 

  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

  Жыл бұрын