Участник:StasFomin/Bookmarks/Algorithms — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена закладка Алгоритмы: дополнительные главы, осень 2020)
(Добавлена закладка Введение в язык формальной верификации Coq, осень 2019)
Строка 2: Строка 2:
 
=== 2020-10 ===
 
=== 2020-10 ===
  
 +
* 2020-10-13, 02:40:51: [https://compsciclub.ru/courses/2019-autumn/6.435-intro-to-coq/classes/ Введение в язык формальной верификации Coq, осень 2019]
 
* 2020-10-13, 02:35:10: [https://compsciclub.ru/courses/2020-autumn/6.857-advancedalgorithms/ Алгоритмы: дополнительные главы, осень 2020]
 
* 2020-10-13, 02:35:10: [https://compsciclub.ru/courses/2020-autumn/6.857-advancedalgorithms/ Алгоритмы: дополнительные главы, осень 2020]
 
* 2020-10-13, 02:33:55: [https://compsciclub.ru/courses/2020-autumn/6.533-fine-grained-complexity/ Fine-grained complexity, осень 2020]
 
* 2020-10-13, 02:33:55: [https://compsciclub.ru/courses/2020-autumn/6.533-fine-grained-complexity/ Fine-grained complexity, осень 2020]

Версия 23:40, 12 октября 2020

2020

2020-10

2020-09

2020-08

2020-07