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

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

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

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

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

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

База знаний

Тема: теория вычислений

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

Материалы

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

Что такое вычисление: от абака до Тьюринга и что значит «вычислимо»

С первых принципов: что такое вычисление как механическое преобразование символов по правилам, откуда взялась машина Тьюринга, почему все разумные модели вычислений …

#computer science#теория вычислений#машина тьюринга
13 мин
Статья

Теория вычислений для всех: автоматы, машина Тьюринга и что нельзя вычислить

Лестница абстрактных машин от конечного автомата до машины Тьюринга, иерархия языков Хомского, разница между «разрешимо» и «распознаваемо», сведения и теорема Райса — и …

#computer science#теория вычислений#автоматы
14 мин
Статья

Лямбда-исчисление Чёрча: зачем оно программисту и что это вообще такое

Язык программирования из трёх правил, придуманный до появления компьютеров: зачем он нужен практикующему разработчику и как читать первые редукции.

#лямбда-исчисление#функциональное программирование#теория вычислений
12 мин
Статья

Альфа, бета и эта: три преобразования, из которых всё состоит

Разбираем три правила переписывания лямбда-исчисления — переименование, вызов и упрощение — с полной пошаговой раскруткой редукций и рабочим редуктором на Python и …

#лямбда-исчисление#редукция#функциональное программирование
23 мин