Участник:StasFomin/Bookmarks/Algorithms — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Добавлена закладка Алгоритмы: дополнительные главы, осень 2020) |
StasFomin (обсуждение | вклад) (Добавлена закладка Введение в язык формальной верификации 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-10-13, 02:40:51: Введение в язык формальной верификации Coq, осень 2019
- 2020-10-13, 02:35:10: Алгоритмы: дополнительные главы, осень 2020
- 2020-10-13, 02:33:55: Fine-grained complexity, осень 2020
- 2020-10-13, 02:33:04: Эффективные алгоритмы и коммуникационная сложность, весна 2019
- 2020-10-13, 02:32:30: Вероятностные алгоритмы, весна 2020
- 2020-10-13, 02:08:22: Проблема останова лжеца Гёделя и брадобрея Кантора / Хабр
- 2020-10-12, 00:49:47: Исследователи смогли преодолеть барьер в улучшении решения задачи коммивояжера / Хабр
- Исследователи смогли преодолеть барьер в улучшении решения задачи коммивояжера
- 2020-10-04, 14:13:10: Sphere Online Judge (SPOJ)
2020-09
- 2020-09-12, 08:21:26: Специалисты по информатике хотят загнать в угол гипотезу Коллатца / Хабр
- 2020-09-01, 20:36:26: Интерактивная визуализация алгоритмов на базе Jupyter / Хабр
2020-08
- 2020-08-01, 17:35:26: Книга «Гид по Computer Science для каждого программиста» / Блог компании Издательский дом «Питер» / Хабр
2020-07
- 2020-07-08, 10:38:47: Hoare: Hoare Logic, Part I
- 2020-07-03, 10:27:44: Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018) — Кафедра дискретной математики
-
Дерандомизация и псевдослучайность (Д.В. Мусатов, осень 2018)
Лектор - доц. Д.В. Мусатов
Спецкурс проходит по четвергам в 16:00 в ШАД, Яндекс. Начало - 13.09.2018.
-
- 2020-07-02, 22:58:04: Multiresolution alignment for multiple unsynchronized audio sequences using sequential Monte Carlo samplers - Multiresolution-alignment-for-multiple-unsynchronized-audio-sequences-using-Sequential-Monte-Carlo-samplers.pdf
- See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/321767378Multiresolution alignment for multiple unsynchronized audio sequencesusing Sequential Monte Carlo samplers
- 2020-07-02, 21:35:32: Участник:StasFomin/Bookmarks/DocStruct — DISCOPAL
- 2020-07-02, 19:44:44: Проблема перебора
- 2020-07-02, 19:37:12: Lecture26
- 2020-07-02, 18:25:13: Algorithms | Coursera