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

Пропозициональная логика

Синтаксис, семантика, нормальные формы и алгоритм DPLL

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

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

§ 01 — Статьи

§ 02 — Практика

Пройти квиз

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

Обсудить с AI

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