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