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

Здравствуй!

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

Трейлер курса ^[3]
Раздача на Рутрекере ^[4] (видео+слайды)
Прямые ссылки на видеофайлы: первая лекция ^[5], вторая ^[6], третья ^[7], четвертая ^[8], пятая ^[9] и шестая ^[10].
Прямая ссылка на слайды ^[11] (zip-архив pdf-файлов)
RSS подкаста ^[12] (совместим с iTunes; сам iTunes Store пока не принимает новые подкасты)
Плейлист на YouTube ^[13]
Форум курса ^[14]

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

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

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

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

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

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

P.S. Напомню, что проект Хекслет существует благодаря пожертвованиям пользователей. Вы можете поддержать проект любым удобным вам способом на этой странице ^[15]. Ну и простая информационная поддержка (расскажите друзьям, расшарьте в соц. сети и так далее) сильно поможет нам. Большое спасибо!

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

Автор: freetonik

Источник ^[16]

Сайт-источник PVSM.RU: https://www.pvsm.ru

Путь до страницы источника: https://www.pvsm.ru/logika/56034

Ссылки в тексте:

[1] Хекслете: http://hexlet.org/

[2] учебнике: http://heller.ru/tutorial.pdf

[3] Трейлер курса: http://www.youtube.com/watch?v=4mKHlq3AQDI

[4] Раздача на Рутрекере: http://rutracker.org/forum/viewtopic.php?t=4679408

[5] первая лекция: https://archive.org/download/LogicLecture5/Logic%20Lecture%201.mov

[6] вторая: https://archive.org/download/LogicLecture5/Logic%20Lecture%202.mov

[7] третья: https://archive.org/download/LogicLecture5/Logic%20Lecture%203.mov

[8] четвертая: https://archive.org/download/LogicLecture5/Logic%20Lecture%204.mov

[9] пятая: https://archive.org/download/LogicLecture5/Logic%20Lecture%205.mov

[10] шестая: https://archive.org/download/LogicLecture5/Logic%20Lecture%206.mov

[11] Прямая ссылка на слайды: https://ia600609.us.archive.org/5/items/LogicSlides/LogicSlides.zip

[12] RSS подкаста: http://hexlet-logic.rpod.ru/rss_6mf_2c0d.xml

[13] Плейлист на YouTube: http://www.youtube.com/playlist?list=PLo6puixMwuSNCt4bd99UheEjaS4EudoGJ

[14] Форум курса: https://hexlet.org/forum/logic/

[15] этой странице: http://hexlet.org/donate

[16] Источник: http://habrahabr.ru/post/213959/

Нажмите здесь для печати.