Курс состоит из шести лекций общей продолжительностью 2 часа 20 минут.
Содержание:
1. базовые понятия логики, логические операции, наша первая теорема и закон де Моргана.
2. представление функций через базовые операции.
3. рассматриваем решение "Самой Сложной Логической Задачи".
4. предикаты, кванторы, множества и подмножества.
5. рассматриваем систему математических доказательств.
6. парадоксы классической логики и заключение.
Слайды из уроков (zip - архив pdf - файлов).