2017-08-23

(русский / in Russian) Математическая логика

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

source: НОУ ИНТУИТ     2014年2月11日
Математическая логика
Курс и тесты в НОУ ИНТУИТ http://www.intuit.ru/studies/courses/2308/608/info
Автор: Борис Бояршинов
Курс предназначен для знакомства будущих специалистов по информационным технологиям с основами науки о научном мышлении.
Логика была создана Аристотелем, как наука, описывающая методы мышления. С развитием математических наук появилась возможность и потребность математизировать логику. Особенно важной эта задача стала с появлением электронных вычислительных машин, которые сейчас принято называть компьютерами.

Лекция 1: Вводная лекция (часть 1) 1:18:48 Экскурс в историю логики. Виды высказываний. Диаграммы Эйлера-Вена. Четыре фигуры силлогизмов.
Лекция 2: Вводная лекция (часть 2) 1:04:24
Лекция 3: Высказывания и действия над ними 1:19:09
Лекция 4: Формулы алгебры высказываний. Тавтологии 1:24:36
Лекция 5: Эквивалентные преобразования логических формул (часть 1) 1:08:32
Лекция 6: Эквивалентные преобразования логических формул (часть 2) 1:18:34
Лекция 7: Эквивалентные преобразования логических формул (часть 3) 1:00:37
Лекция 8: Нормальная форма алгебры высказываний (часть 1) 1:11:32
Лекция 9: Нормальная форма алгебры высказываний (часть 2) 1:35:14
Лекция 10: Логическое следование формул 49:26
Лекция 11: Правила логических умозаключений. Модусы. (Часть 1) 58:54
Лекция 12: Правила логических умозаключений. Модусы. (Часть 2) 1:05:20
Лекция 13: Булева алгебра 1:07:09
Лекция 14: Многочлены Жегалкина 1:09:58
Лекция 15: Замкнутые классы функций 1:02:33
Лекция 16: Полные системы функций 1:29:27
Лекция 17: Реализация булевых функций с помощью логических схем 1:11:52
Лекция 18: Четыре фигуры силлогизмов 1:06:04
Лекция 19: Логика предикатов. Кванторы 58:08
Лекция 20: Машина Тьюринга 55:53
Лекция 21: Наивная теория множеств и нечёткая логика 1:13:35

No comments: