1 Введение
Знакомимся с темой и задачами курса
2 Что такое логика
Обсуждаем математическую логику, ее историю и задачи
теория
3 Нотации
Изучим пропозиции и операторы (конъюнкция, дизъюнкция, отрицание и импликация)
4 Парадоксы
Рассмотрим несколько известных логических парадоксов
5 Софизмы
Разберемся, как работают логические софизмы
6 Эквивалентность
Познакомимся с эквивалентными высказываниями и научимся определять их
7 Предикаты и квантификаторы
Рассмотрим операции над предикатами и квантификаторами
8 Правила математической логики
Изучим два базовых правила логики высказываний
9 Правила вывода
Рассмотрим базовые правила логики и изучим несколько новых правил вывода
10 ПДНФ и ПКНФ
Рассмотреть полную дизъюнктивную нормальную форму (ПДНФ) и полную конъюктивную нормальную форму (ПКНФ).
11 Введение в теорию множеств
Раскрыть основные понятия теории множеств.
12 Самостоятельная работа
Дополнительные задания, которые позволяют закрепить полученную теорию
13 Дополнительные материалы
Статьи и видео, подобранные командой Хекслета. Помогут глубже погрузиться в тему курса