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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Добавлена закладка jsCoq – Use Coq in Your Browser)
(Добавлена закладка «Введение в верификацию программ» - YouTube)
Строка 2: Строка 2:
 
=== 2020-10 ===
 
=== 2020-10 ===
  
 +
* 2020-10-13, 14:00:10: [https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY «Введение в верификацию программ» - YouTube]
 
* 2020-10-13, 13:54:55: [https://jscoq.github.io/ jsCoq – Use Coq in Your Browser]
 
* 2020-10-13, 13:54:55: [https://jscoq.github.io/ jsCoq – Use Coq in Your Browser]
 
* 2020-10-13, 02:45:30: [https://compsciclub.ru/courses/2016-autumn/6.246-approximationalgo/classes/ Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность, осень 2016]
 
* 2020-10-13, 02:45:30: [https://compsciclub.ru/courses/2016-autumn/6.246-approximationalgo/classes/ Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность, осень 2016]

Версия 11:00, 13 октября 2020

2020

2020-10

2020-09

2020-08

2020-07