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

Математика: Введение в логику - видеокурс на русском языкеАфинская школа (Scuola di Atene) — фрагмент фрески, Рафаэль

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

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

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


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


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


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


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


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


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

Источник
Только зарегистрированные и авторизованные пользователи могут оставлять комментарии.