https://courses.digitable.life/tags/%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C/ Recent content in Вычислимость on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:19:38 +0300 https://courses.digitable.life/post/logic/00a-history-and-levels-of-abstraction/ Tue, 28 Jul 2026 10:05:00 +0300 https://courses.digitable.life/post/logic/00a-history-and-levels-of-abstraction/ Две полноценные редакции одной истории: человеческий путь от убеждения к доказательству и инженерный путь от требования к типам, политикам, тестам и архитектуре. 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/mathematics/11-computability/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/11-computability/ Что значит «вычислимо»: машина Тьюринга со строгим определением и работающим симулятором, лямбда-исчисление с нумералами Чёрча и комбинатором неподвижной точки, тезис Чёрча–Тьюринга, доказательство неразрешимости проблемы остановки, теорема Райса, колмогоровская сложность и практические следствия для типов, линтеров и статического анализа. https://courses.digitable.life/post/mathematics/12-complexity-theory/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/mathematics/12-complexity-theory/ Что значит «эффективно вычислимо»: классы P, NP, co-NP, L, NL, PSPACE, сведения по Карпу, теорема Кука–Левина, теоремы иерархии, барьеры доказательств — и практический разбор того, что делать, когда ваша задача оказалась NP-полной. 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/ С первых принципов: что такое вычисление как механическое преобразование символов по правилам, откуда взялась машина Тьюринга, почему все разумные модели вычислений равномощны и что именно нельзя вычислить в принципе.