https://courses.digitable.life/tags/%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F-%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D0%B9/ Recent content in Теория Вычислений on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 https://courses.digitable.life/post/lambda-calculus/03-reductions/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/03-reductions/ Разбираем три правила переписывания лямбда-исчисления — переименование, вызов и упрощение — с полной пошаговой раскруткой редукций и рабочим редуктором на Python и JavaScript. https://courses.digitable.life/post/lambda-calculus/00-overview/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/00-overview/ Язык программирования из трёх правил, придуманный до появления компьютеров: зачем он нужен практикующему разработчику и как читать первые редукции. https://courses.digitable.life/post/computer-science/15-theory-of-computation/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/computer-science/15-theory-of-computation/ Лестница абстрактных машин от конечного автомата до машины Тьюринга, иерархия языков Хомского, разница между «разрешимо» и «распознаваемо», сведения и теорема Райса — и почему всё это ежедневно протекает в реальный код. https://courses.digitable.life/post/computer-science/01-what-is-computation/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/computer-science/01-what-is-computation/ С первых принципов: что такое вычисление как механическое преобразование символов по правилам, откуда взялась машина Тьюринга, почему все разумные модели вычислений равномощны и что именно нельзя вычислить в принципе.