(русский / in Russian) Введение в логику

# You can also click the upper-left icon to select videos from the playlist.

source: НОУ ИНТУИТ    2015年3月22日
Введение в логику / Introduction to logic
Автор: Владимир Арнольдович Биллиг
Курс на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/13859/1256/info
В курсе проводится краткий исторический обзор логики как науки, рассматривается дедуктивный и индуктивный методы вывода и их применение в повседневной жизни.
Достаточно подробно рассматриваются базисные математические понятия – множества, отношения, функции. Наряду с традиционными для школьного курса понятиями логики высказываний – бинарных логических функций, построения таблиц истинности, законов логики высказываний, рассматриваются и более сложные вопросы, такие как, например, конъюнктивные и дизъюнктивные нормальные формы записи логических формул. Изложение теоретического материала сопровождается рассмотрением конкретных логических задач.

Лекция 1: Исторический обзор 28:54
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/...
Лекция 2: Логический вывод – индукция 23:00
Лекция 3: Логический вывод – дедукция 25:39
Лекция 4: Дедуктивный метод Шерлока Холмса 11:38
Лекция 5: Множества 26:22
Лекция 6: Операции над множествами 15:03
Лекция 7: Отношения 25:31
Лекция 8: Свойства отношений 14:30
Лекция 9: Отношения и базы данных 15:07
Лекция 10: Функции 14:06
Лекция 11: Математическая логика 22:04
Лекция 12: Об импликации 6:47
Лекция 13: Логика предикатов 11:50
Лекция 14: Логические функции 8:22
Лекция 15: Функции и таблицы истинности 7:34
Лекция 16: Бинарные логические функции 13:28
Лекция 17: Функции многих переменных 5:49
Лекция 18: Эквивалентность формул 12:55
Лекция 19: Нормальная форма записи 19:21
Лекция 20: О базисе 5:25
Лекция 21: Законы логики 26:05
Лекция 22: Чьи это части? 31:48
Лекция 23: Какие у Вас корни? Часть 1. 26:29
Лекция 24: Какие у Вас корни? Часть 2 32:32
Лекция 25: Формально или неформально? Часть 1 31:29
Лекция 26: Формально или неформально? Часть 2 28:32