- PVSM.RU - https://www.pvsm.ru -
Здравствуй!
Представляю вам курс «Введение в логику», недавно прошедший на Хекслете [1]. Он основан на учебнике [2] по математике Романа Добровенского. Курс состоит из шести лекций общей продолжительностью 2 часа 20 минут.
Первая лекция. Базовые понятия логики, логические операции, наша первая теорема и закон Де Моргана.
Вторая лекция. Представление функций через базовые операции.
Третья лекция. Рассматриваем решение «Самой сложной логической задачи»
Четвертая лекция. Предикаты, кванторы, множества и подмножества.
Пятая лекция. Рассматриваем систему математических доказательств.
Шестая лекция. Парадоксы классической логики и заключение.
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/
Нажмите здесь для печати.