Лекция 2. Дизъюнктивная нормальная форма | Открытые видеолекции учебных курсов МГУ

Лекция 2. Дизъюнктивная нормальная форма

Лекция из курса:

Математическая логика

Яворская Татьяна Леонидовна

Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.

Лекция 2. Дизъюнктивная нормальная форма

Видео закончится через

NaN:NaN

00:00

00:00

00:19

Следующая секция начнется через 06:26

Знакомство с дизъюнктивными нормальными формами (ДНФ)

06:26

Следующая секция начнется через 06:26

Определение ДНФ и элементарной конъюнкции

07:56

Следующая секция начнется через 06:26

Приведение к ДНФ: теорема и примеры

26:54

Следующая секция начнется через 06:26

Составление формулы по таблице истинности

39:37

Следующая секция начнется через 06:26

Полные системы связок

56:06

Следующая секция начнется через 06:26

Штрих Шеффера и стрелка Пирса

1:01:11

Следующая секция начнется через 06:26

Подведение итогов

Свернуть таймкоды

00:00

00:00

Скорость

Качество

00:00

00:00

Скорость

Качество

Лекция 2. Дизъюнктивная нормальная форма

Предыдущая лекция

Лекция 1. Логика высказываний

Следующая лекция

Лекция 3. Генценовское исчисление высказываний