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

Курс «Введение в логику», прошедший в 2014 г. на Хекслете. Он основан на учебнике по математике Романа Добровенского. Курс состоит из шести лекций общей продолжительностью 2 часа 20 минут.
Трейлер курса
Раздача на Рутрекере (видео+слайды)
Прямые ссылки на видеофайлы лекций: 1-я, 2-я, 3-я, 4-я, 5-я и 6-я.
Прямая ссылка на слайды (zip-архив pdf-файлов)
Плейлист на YouTube
Первая лекция.
Базовые понятия логики, логические операции, наша первая теорема и закон Де Моргана.

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

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

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

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

Видео доступно толькоавторизованным пользователям
Шестая лекция.
Парадоксы классической логики и заключение.

Видео доступно толькоавторизованным пользователям
Знания должны быть свободными!
Источник
Комментарии (0)