Stoa
ТрекиКурсыБиблиотекаПодкастыХроникиПрактикиПодписка
Войти
Мат. логика
  • Все курсы
  • Главная курса
  • AI-ассистент
  • Тестирование
  • Студия подкастов
  • Шпаргалка
  • Задачи
  • Тренажёр
  • Мини-проект
  • Симулятор
Stoa/Библиотека/Математическая логика и теория алгоритмов/Модуль III

Модуль III·3 статей·~18 мин

Теория вычислимости

Машины Тьюринга, разрешимость и теорема Черча-Тьюринга

Сделать подкаст по модулю

Выберите голоса и формат — AI запишет эпизод

§ 01 — Статьи

  • I
    Машины Тьюринга и вычислимые функции
    Статья 1 из 3
    ~6 мин
    Читать →
  • II
    Проблема остановки и неразрешимые задачи
    Статья 2 из 3
    ~6 мин
    Читать →
  • III
    Теория сложности: P vs NP
    Статья 3 из 3
    ~6 мин
    Читать →

§ 02 — Практика

I
Пройти квиз
Проверьте, что усвоили в модуле.
II
Обсудить с AI
AI-наставник, знающий материал модуля.