1 Введение

Знакомимся с темой и задачами курса

2 Что такое логика

Обсуждаем математическую логику, ее историю и задачи
теория

3 Нотации

Изучим пропозиции и операторы (конъюнкция, дизъюнкция, отрицание и импликация)

4 Парадоксы

Рассмотрим несколько известных логических парадоксов

5 Софизмы

Разберемся, как работают логические софизмы

6 Эквивалентность

Познакомимся с эквивалентными высказываниями и научимся определять их

7 Предикаты и квантификаторы

Рассмотрим операции над предикатами и квантификаторами

8 Правила математической логики

Изучим два базовых правила логики высказываний

9 Правила вывода

Рассмотрим базовые правила логики и изучим несколько новых правил вывода

10 ПДНФ и ПКНФ

Рассмотреть полную дизъюнктивную нормальную форму (ПДНФ) и полную конъюктивную нормальную форму (ПКНФ).

11 Введение в теорию множеств

Раскрыть основные понятия теории множеств.

12 Самостоятельная работа

Дополнительные задания, которые позволяют закрепить полученную теорию

13 Дополнительные материалы

Статьи и видео, подобранные командой Хекслета. Помогут глубже погрузиться в тему курса