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

Список лекций:
– Лекция 1. Базовые понятия логики, логические операции, наша первая теорема и закон де Моргана;
– Лекция 2. Представление функций через базовые операции;
– Лекция 3. Решение “Самой сложной логической задачи”;
– Лекция 4. Предикаты, кванторы, множества и подмножества;
– Лекция 5. Рассматриваем систему математических доказательств;
– Лекция 6. Парадоксы классической логики и заключение.

#Наука@science_newworld

Твоим друзьям это понравится!