Виталий Брагилевский - JavaScript на службе у теоретической информатики

Ближайшая конференция - HolyJS 2024 Autumn, 7 ноября (online), 14-15 ноября (Санкт-Петербург + трансляция).
Подробности и билеты: jrg.su/K18Cxd
- -
. . При изучении теоретической информатики можно использовать самые разнообразные инструменты. Пожалуй, чаще всего нужно доказывать теоремы по индукции, но программированию место тоже можно найти.
В этом докладе мы расскажем об одном подходе к изучению теоретической информатики (а конкретнее, теории алгоритмов), при котором программирование на JavaScript становится основным видом деятельности учащегося. Мы пройдёмся по основным разделам теории и посмотрим, чем нам там поможет Javascript.
Для начала мы введём три модели вычислений (λ-исчисление, рекурсивные функции и машины Тьюринга), покрутим их немного, чтобы разобраться, что к чему, а потом попробуем применить к теории вычислимости (там доказывают существование неразрешимых задач) и теории сложности вычислений (там классифицируют задачи по объёмам требуемых для их решения ресурсов - времени и памяти). Не то чтобы Javascript позволяет проделывать основную работу в рамках теоретической информатики, но вот иллюстрировать важные понятия и приёмы он точно способен, именно для этого мы им и воспользуемся. А ещё будет много упражнений по программированию. На Javascript! Все на изучение теоретической информатики с нашим любимым языком программирования!

[@martovskyy]

Нормально, одобряю)

[@Любомир-б9м]

Ахаха, крутой чел)

[@Devof-n9i]

"Теоретиков обвиняют, что они решают задачи про сферического коня в вакууме", - и не только теоретики. Дизайнеры бизнес процессов, например, делают то же самое - в нотациях BPMN и других, решают те же проблемы- да или нет. Отлично, что теория дает ответы на то как это делать правильно.

[@dmytroshulieshov5527]

Не хочу изучать хаскель, боюсь стать напышеным индюком.

[@vyorkin]

Не бывает таких среди хаскелистов

[@ЮрійОлесь-с6о]

@@vyorkin А Брагилевский уже не хаскелист?

[@ievgenk.8991]

Парадокс в том, что такие заявления показывают что ты уже такой

[@sergeyinozemcev1070]

По-моему он наоборот ироничный и более чем адекватный, ни в пример многим java и с++ разработчикам. Которые все как с одной фабрики, на самом деле.

[@triti77]

Ахаха, топ

[@НастяЖук-к5о]

Buts

[@Xeon83]

Пургу какую-то несёт, да ещё и такой код корявый. И показывает все кускам, нет целостности картины, информация не воспринимается!