Курсы Лекторы Материалы О проекте
Войти
Лекция 6. Формула алгебры логики
Лекция из курса:
Основы кибернетики
Ложкин Сергей Андреевич
Видео не может быть загружено из-за проблем с интернет-соединением или проблем на сервере. Или формат файла не поддерживается вашим браузером.
Лекция 6. Формула алгебры логики
Видео закончится через
NaN:NaN
00:00
00:00
00:10
Следующая секция начнется через 09:15
Базис, функциональный элемент, входной и выходной алфавиты
09:15
Следующая секция начнется через 09:15
Индуктивное (по глубине) определение формулы
15:58
Следующая секция начнется через 09:15
Формула как граф. Пример
26:35
Следующая секция начнется через 09:15
Функционалы сложности формул
33:18
Следующая секция начнется через 09:15
Утверждение о связи функционалов сложности
42:04
Следующая секция начнется через 09:15
Эквивалентность и изоморфизм формул. Подформула. Принцип эквивалентной замены
50:49
Следующая секция начнется через 09:15
Известные тождества формул. Преобразования подобия
58:37
Следующая секция начнется через 09:15
Формула с поднятыми отрицаниями
1:04:45
Следующая секция начнется через 09:15
Оптимизация подобных формул по глубине. Альтернирование
Свернуть таймкоды
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

Лекция 6. Формула алгебры логики

00:10
Следующая секция начнется через 09:15
Базис, функциональный элемент, входной и выходной алфавиты
09:15
Следующая секция начнется через 09:15
Индуктивное (по глубине) определение формулы
15:58
Следующая секция начнется через 09:15
Формула как граф. Пример
26:35
Следующая секция начнется через 09:15
Функционалы сложности формул
33:18
Следующая секция начнется через 09:15
Утверждение о связи функционалов сложности
42:04
Следующая секция начнется через 09:15
Эквивалентность и изоморфизм формул. Подформула. Принцип эквивалентной замены
50:49
Следующая секция начнется через 09:15
Известные тождества формул. Преобразования подобия
58:37
Следующая секция начнется через 09:15
Формула с поднятыми отрицаниями
1:04:45
Следующая секция начнется через 09:15
Оптимизация подобных формул по глубине. Альтернирование
Свернуть таймкоды
Конспект лекции
Лекция 6. Формула алгебры логики
1 / Загрузка