Ближайшая конференция:
HolyJS 2021 Piter — 20-23 апреля, онлайн.
Подробности и билеты: https://bit.ly/2LbN8bH

. . При изучении теоретической информатики можно использовать самые разнообразные инструменты. Пожалуй, чаще всего нужно доказывать теоремы по индукции, но программированию место тоже можно найти.

В этом докладе мы расскажем об одном подходе к изучению теоретической информатики (а конкретнее, теории алгоритмов), при котором программирование на JavaScript становится основным видом деятельности учащегося. Мы пройдёмся по основным разделам теории и посмотрим, чем нам там поможет Javascript.

Для начала мы введём три модели вычислений (λ-исчисление, рекурсивные функции и машины Тьюринга), покрутим их немного, чтобы разобраться, что к чему, а потом попробуем применить к теории вычислимости (там доказывают существование неразрешимых задач) и теории сложности вычислений (там классифицируют задачи по объёмам требуемых для их решения ресурсов — времени и памяти). Не то чтобы Javascript позволяет проделывать…

Кирилл Бяков расскажет о монадах. В докладе речь пойдёт о проблематике, назначении, области использования, примерах известных монад и чек-листе того, что нео...