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

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

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

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

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

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

База знаний

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

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

Материалы

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

Математическая логика и доказательства: как рассуждать строго

Пропозициональная логика, кванторы, правила вывода и методы доказательств — от таблиц истинности и SAT-солверов до инвариантов цикла, соответствия Карри–Ховарда и теорем …

#математика#логика#доказательства
24 мин
Статья

Жадные алгоритмы и когда они корректны

Как устроена жадность, почему она иногда даёт точный оптимум, а иногда катастрофу — аргумент обмена, greedy stays ahead, матроиды, классические задачи и приближённые …

#алгоритмы#жадные алгоритмы#оптимизация
20 мин