Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 3. Булева алгебра
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 3. Булева алгебра
Видео закончится через
NaN:NaN
00:00
00:00
00:09
Следующая секция начнется через 07:38
Литералы. Элементарная конъюнкция (Сигнальная формула).
07:38
Следующая секция начнется через 07:38
Теорема об эквивалентности СДНФ (Совершенная дизъюнктивная нормальная форма).
15:48
Следующая секция начнется через 07:38
Совершенная конъюнктивная нормальная форма (СКНФ). Все аналогично СДНФ.
19:01
Следующая секция начнется через 07:38
Принцип двойственности. Задача.
22:32
Следующая секция начнется через 07:38
Следствия из принципа двойственности для тавтологий.
24:32
Следующая секция начнется через 07:38
Булева алгебра.
47:37
Следующая секция начнется через 07:38
Отношение частичного порядка в булевой алгебре.
1:07:41
Следующая секция начнется через 07:38
Примеры бесконечных булевых алгебр.
1:15:43
Следующая секция начнется через 07:38
Теорема Стоуна.
1:27:52
Следующая секция начнется через 07:38
Лемма об общезначимости. 
Свернуть таймкоды
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p
00:00
00:00
Скорость
x 1.00
x 0.25
x 0.50
x 0.75
x 1.00
x 1.25
x 1.5
x 1.75
x 2.00
x 3.00
x 4.00
Качество
1080p
1080p
720p
480p

Лекция 3. Булева алгебра

00:09
Следующая секция начнется через 07:38
Литералы. Элементарная конъюнкция (Сигнальная формула).
07:38
Следующая секция начнется через 07:38
Теорема об эквивалентности СДНФ (Совершенная дизъюнктивная нормальная форма).
15:48
Следующая секция начнется через 07:38
Совершенная конъюнктивная нормальная форма (СКНФ). Все аналогично СДНФ.
19:01
Следующая секция начнется через 07:38
Принцип двойственности. Задача.
22:32
Следующая секция начнется через 07:38
Следствия из принципа двойственности для тавтологий.
24:32
Следующая секция начнется через 07:38
Булева алгебра.
47:37
Следующая секция начнется через 07:38
Отношение частичного порядка в булевой алгебре.
1:07:41
Следующая секция начнется через 07:38
Примеры бесконечных булевых алгебр.
1:15:43
Следующая секция начнется через 07:38
Теорема Стоуна.
1:27:52
Следующая секция начнется через 07:38
Лемма об общезначимости. 
Свернуть таймкоды
Конспект лекции
Лекция 3. Булева алгебра
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»