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

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

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

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

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

§ 01 — Статьи

§ 02 — Практика

Пройти квиз

Проверьте, что усвоили в модуле.

Обсудить с AI

AI-наставник, знающий материал модуля.