DigitableCourses
Настройки портала
Показать возможности портала

Локально и без аккаунта. Аккаунта нет, регистрация не нужна: введённое в инструменты остаётся в localStorage браузера и на сервер не уходит.

Свой счётчик считает открытия страниц и дочитывания: уезжает адрес и десятая доля текста. Без cookies и чужих счётчиков, IP не хранится, Do Not Track уважается. Как это проверить

Репозиторий портала не выложен, «открытым кодом» мы его не зовём. Открыто это:

Живёт портал на донатах, платных консультациях и разборах по запросу и покупке Workbench.

Планов делать курсы платными нет.

База знаний

Тема: доказательство корректности

1 материалов в этой теме.

Материалы

1 на странице
Статья

Анализ алгоритмов: асимптотика, инварианты и доказательство корректности

Как измерять алгоритмы независимо от железа, считать рекуррентности и амортизацию, доказывать корректность через инварианты цикла и проверять теорию эмпирическими …

#алгоритмы#асимптотика#сложность
23 мин