Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 4. Булева алгебра
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 4. Булева алгебра
Видео закончится через
NaN:NaN
00:00
00:00
02:03
Следующая секция начнется через 12:15
Теорема. Об общезначимых формулах в булевой алгебре.
12:15
Следующая секция начнется через 12:15
Исчисление высказываний. Схемы аксиом.
22:48
Следующая секция начнется через 12:15
Правила вывода.
29:45
Следующая секция начнется через 12:15
Примеры доказательства.
40:07
Следующая секция начнется через 12:15
Выводы из гипотез.
44:12
Следующая секция начнется через 12:15
Лемма. О выводимости конъюнкции.
46:41
Следующая секция начнется через 12:15
Продолжение. Выводимость.
58:45
Следующая секция начнется через 12:15
Пример. Выводимость конъюнкции.
1:01:43
Следующая секция начнется через 12:15
Дополнительные пояснения к доказательству.
1:02:46
Следующая секция начнется через 12:15
Теорема дедукции.
1:17:38
Следующая секция начнется через 12:15
Пример. Правило силлогизма.
1:21:40
Следующая секция начнется через 12:15
Теорема о корректности аксиом CL для булевых алгебр.
Свернуть таймкоды
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

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

02:03
Следующая секция начнется через 12:15
Теорема. Об общезначимых формулах в булевой алгебре.
12:15
Следующая секция начнется через 12:15
Исчисление высказываний. Схемы аксиом.
22:48
Следующая секция начнется через 12:15
Правила вывода.
29:45
Следующая секция начнется через 12:15
Примеры доказательства.
40:07
Следующая секция начнется через 12:15
Выводы из гипотез.
44:12
Следующая секция начнется через 12:15
Лемма. О выводимости конъюнкции.
46:41
Следующая секция начнется через 12:15
Продолжение. Выводимость.
58:45
Следующая секция начнется через 12:15
Пример. Выводимость конъюнкции.
1:01:43
Следующая секция начнется через 12:15
Дополнительные пояснения к доказательству.
1:02:46
Следующая секция начнется через 12:15
Теорема дедукции.
1:17:38
Следующая секция начнется через 12:15
Пример. Правило силлогизма.
1:21:40
Следующая секция начнется через 12:15
Теорема о корректности аксиом CL для булевых алгебр.
Свернуть таймкоды
Конспект лекции
Лекция 4. Булева алгебра
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»