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

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

Логика предикатов первого порядка

Предикаты, кванторы, структуры и теорема Гёделя о полноте

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

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

§ 01 — Статьи

  • I
    Синтаксис и семантика логики первого порядка
    Статья 1 из 3
    ~6 мин
    Читать →
  • II
    Метод резолюций и унификация
    Статья 2 из 3
    ~6 мин
    Читать →
  • III
    Теоремы Гёделя и границы первого порядка
    Статья 3 из 3
    ~6 мин
    Читать →

§ 02 — Практика

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