1,0×
00:00/01:25:52
Ложкин С. А. - Основы кибернетики - Формула алгебры логики
0:00:09 1. Базис, функциональный элемент, входной и выходной алфавиты
0:09:15 2. Индуктивное (по глубине) определение формулы
0:15:58 3. Формула как граф. Пример
0:26:35 4. Функционалы сложности формул
0:33:18 5. Утверждение о связи функционалов сложности
0:42:04 6. Эквивалентность и изоморфизм формул. Подформула. Принцип эквивалентной замены
0:50:49 7. Известные тождества формул. Преобразования подобия
0:58:37 8. Формула с поднятыми отрицаниями
1:04:45 9. Оптимизация подобных формул по глубине. Альтернирование
0:09:15 2. Индуктивное (по глубине) определение формулы
0:15:58 3. Формула как граф. Пример
0:26:35 4. Функционалы сложности формул
0:33:18 5. Утверждение о связи функционалов сложности
0:42:04 6. Эквивалентность и изоморфизм формул. Подформула. Принцип эквивалентной замены
0:50:49 7. Известные тождества формул. Преобразования подобия
0:58:37 8. Формула с поднятыми отрицаниями
1:04:45 9. Оптимизация подобных формул по глубине. Альтернирование
…