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