Курсы Лекторы Материалы О проекте
Курсы Лекторы Материалы О проекте
О проекте
Вход
Войти
Лекция 2. Оценки. Булевы функции
Лекция из курса:
Введение в математическую логику и теорию алгоритмов
Шехтман Валентин Борисович
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 2. Оценки. Булевы функции
Видео закончится через
NaN:NaN
00:00
00:00
00:09
Следующая секция начнется через 07:57
Пропозициональный язык.
07:57
Следующая секция начнется через 07:57
Подформулы.
15:19
Следующая секция начнется через 07:57
Семантика. Оценки.
18:03
Следующая секция начнется через 07:57
Лемма о продолжении оценки.
23:40
Следующая секция начнется через 07:57
Лемма об однозначном определении формулы. Доказательство.
29:42
Следующая секция начнется через 07:57
Понятие тавтологии, выполнимости.
34:51
Следующая секция начнется через 07:57
Значение формулы на оценке.
38:09
Следующая секция начнется через 07:57
Введение понятия булевых функций.
42:01
Следующая секция начнется через 07:57
Задание булевых функций таблицами истинности. Пример.
43:37
Следующая секция начнется через 07:57
Дополнительные пояснения для доказательства однозначности определения формул.
46:35
Следующая секция начнется через 07:57
Равносильность формул.
52:33
Следующая секция начнется через 07:57
Поиск всех тавтологий. Лемма о базовых равносильностях.
1:01:51
Следующая секция начнется через 07:57
Обратное соответствие функций формулам. Функциональная полнота.
1:04:07
Следующая секция начнется через 07:57
Лемма о сигнальной функции.
1:15:49
Следующая секция начнется через 07:57
Теорема о функциональной полноте.
1:24:44
Следующая секция начнется через 07:57
Совершенная дизъюнктивная нормальная форма (СДНФ).
Свернуть таймкоды
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

Лекция 2. Оценки. Булевы функции

00:09
Следующая секция начнется через 07:57
Пропозициональный язык.
07:57
Следующая секция начнется через 07:57
Подформулы.
15:19
Следующая секция начнется через 07:57
Семантика. Оценки.
18:03
Следующая секция начнется через 07:57
Лемма о продолжении оценки.
23:40
Следующая секция начнется через 07:57
Лемма об однозначном определении формулы. Доказательство.
29:42
Следующая секция начнется через 07:57
Понятие тавтологии, выполнимости.
34:51
Следующая секция начнется через 07:57
Значение формулы на оценке.
38:09
Следующая секция начнется через 07:57
Введение понятия булевых функций.
42:01
Следующая секция начнется через 07:57
Задание булевых функций таблицами истинности. Пример.
43:37
Следующая секция начнется через 07:57
Дополнительные пояснения для доказательства однозначности определения формул.
46:35
Следующая секция начнется через 07:57
Равносильность формул.
52:33
Следующая секция начнется через 07:57
Поиск всех тавтологий. Лемма о базовых равносильностях.
1:01:51
Следующая секция начнется через 07:57
Обратное соответствие функций формулам. Функциональная полнота.
1:04:07
Следующая секция начнется через 07:57
Лемма о сигнальной функции.
1:15:49
Следующая секция начнется через 07:57
Теорема о функциональной полноте.
1:24:44
Следующая секция начнется через 07:57
Совершенная дизъюнктивная нормальная форма (СДНФ).
Свернуть таймкоды
Конспект лекции
Лекция 2. Оценки. Булевы функции
1 / Загрузка
материалы
Скачать
Математика / пособие
Методическое пособие для курса «Введение в математическую логику и теорию алгоритмов»