# 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
1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.
No comments:
Post a Comment