Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 10. Преобразование формул к стандартному виду
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 10. Преобразование формул к стандартному виду
Видео закончится через
NaN:NaN
00:00
00:00
44:45
Следующая секция начнется через 48:02
Формула с тесными отрицаниями.
48:02
Следующая секция начнется через 48:02
Лемма о равносильности любой формулы формуле с тесными отрицаниями.
1:04:25
Следующая секция начнется через 48:02
Предваренная нормальная форма.
1:07:40
Следующая секция начнется через 48:02
Теорема 10.2. О равносильности всякой формулы предваренной нормальной форме.
1:09:35
Следующая секция начнется через 48:02
Лемма 10.3 О предваренной нормальной форме равносильной логическим связкам.
1:26:35
Следующая секция начнется через 48:02
Построение вычисления. Исчисление предикатов. 
Свернуть таймкоды
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

Лекция 10. Преобразование формул к стандартному виду

44:45
Следующая секция начнется через 48:02
Формула с тесными отрицаниями.
48:02
Следующая секция начнется через 48:02
Лемма о равносильности любой формулы формуле с тесными отрицаниями.
1:04:25
Следующая секция начнется через 48:02
Предваренная нормальная форма.
1:07:40
Следующая секция начнется через 48:02
Теорема 10.2. О равносильности всякой формулы предваренной нормальной форме.
1:09:35
Следующая секция начнется через 48:02
Лемма 10.3 О предваренной нормальной форме равносильной логическим связкам.
1:26:35
Следующая секция начнется через 48:02
Построение вычисления. Исчисление предикатов. 
Свернуть таймкоды
Конспект лекции
Лекция 10. Преобразование формул к стандартному виду
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»