Введение в логику. Курс лекций

Введение в математическую логику. Курс основан на первой главе учебника по математике Романа Добровенского. Классическая логика является формальной основой для 99% современной математики. Несмотря на то, что логика, вроде бы, стоит особняком от остальной математики, есть все же несколько теорем, которые интересны широким слоям населения.

Список лекций:

Лекция 1. Базовые понятия логики, логические операции, наша первая теорема и закон де Моргана;

Лекция 2. Представление функций через базовые операции;

Лекция 3. Решение "Самой сложной логической задачи";

Лекция 4. Предикаты, кванторы, множества и подмножества;

Лекция 5. Рассматриваем систему математических доказательств;

Лекция 6. Парадоксы классической логики и заключение.

Комментарии: