Comments 4
Если у кого-то не отображаются какие-то символы юникода, то пишите в ЛС или на e-mail из профиля. А я пока по возможности буду заменять на картинки. Выяснилось, что у некоторых пользователей с этим проблемы.
0
А языки с зависимыми типами в данную схему типизации укладываются?
0
По этой же теме (теоретические основы CS для простых программистов) недавно наткнулся на отличную книгу:
Том Стюарт. Теория вычислений для программистов / Пер. с анг. А.А. Слинкин. — Москва, ДМК Пресс, 2014. — 384 с.
Я был удивлён, как в довольно простой форме, шаг за шагом, в ней объясняются те вещи, которые я не мог понять долгое время из других публикаций, например, числа Чёрча. Все примеры кода в ней на Руби, который я не очень знаю, но опять же, оказалось, что выбранный автором подход очень удачно использует динамический язык для иллюстрации всех идей.
Том Стюарт. Теория вычислений для программистов / Пер. с анг. А.А. Слинкин. — Москва, ДМК Пресс, 2014. — 384 с.
Я был удивлён, как в довольно простой форме, шаг за шагом, в ней объясняются те вещи, которые я не мог понять долгое время из других публикаций, например, числа Чёрча. Все примеры кода в ней на Руби, который я не очень знаю, но опять же, оказалось, что выбранный автором подход очень удачно использует динамический язык для иллюстрации всех идей.
0
Sign up to leave a comment.
Ускоренный курс по нотациям в теории языков программирования