Представляю вам курс «Введение в логику», недавно прошедший на Хекслете. Он основан на учебнике по математике Романа Добровенского. Курс состоит из шести лекций общей продолжительностью 2 часа 20 минут.
- Трейлер курса
- Раздача на Рутрекере (видео+слайды)
- Прямые ссылки на видеофайлы: первая лекция, вторая, третья, четвертая, пятая и шестая.
- Прямая ссылка на слайды (zip-архив pdf-файлов)
- RSS подкаста (совместим с iTunes; сам iTunes Store пока не принимает новые подкасты)
- Плейлист на YouTube
- Форум курса
Первая лекция. Базовые понятия логики, логические операции, наша первая теорема и закон Де Моргана.
Вторая лекция. Представление функций через базовые операции.
Третья лекция. Рассматриваем решение «Самой сложной логической задачи»
Четвертая лекция. Предикаты, кванторы, множества и подмножества.
Пятая лекция. Рассматриваем систему математических доказательств.
Шестая лекция. Парадоксы классической логики и заключение.
P.S. Напомню, что проект Хекслет существует благодаря пожертвованиям пользователей. Вы можете поддержать проект любым удобным вам способом на этой странице. Ну и простая информационная поддержка (расскажите друзьям, расшарьте в соц. сети и так далее) сильно поможет нам. Большое спасибо!
