Введение в логику - видеокурс на русском языке

Афинская школа (Scuola di Atene) — фрагмент фрески, Рафаэль

Курс «Введение в логику», прошедший в 2014 г. на Хекслете. Он основан на учебнике по математике Романа Добровенского. Курс состоит из шести лекций общей продолжительностью 2 часа 20 минут.

Трейлер курса
Раздача на Рутрекере (видео+слайды)
Прямые ссылки на видеофайлы лекций: 1-я, 2-я, 3-я, 4-я, 5-я и 6-я.
Прямая ссылка на слайды (zip-архив pdf-файлов)
Плейлист на YouTube

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


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


Третья лекция.
Рассматриваем решение «Самой сложной логической задачи»


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


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


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


Знания должны быть свободными!

Источник