ВУЗ:
Составители:
Рубрика:
66
3
Существенные и
фиктивные
переменные.
2 Решение задач на
ассоциативность,
дистрибутивность и
коммутативность.
2
4
4
Принцип
двойственности и
правило
двойственности.
2 Решение задач на
двойственность
функций.
2
5
Совершенная
дизъюнктивная
нормальная форма.
2 Нахождение СДНФ
функции.
2
6
Промежуточный контроль знаний
(Контрольная работа №1)
2
7
Представление
логических
функций булевыми
формулами. СКНФ.
2 Нахождение СКНФ
функции. Правило
поглощения,
склеивания и
расщепления.
8
Алгоритм Куайна и
Мак-Клоски.
2 Преобразование
функции с помощью
алгоритма Куайна и
Мак-Клоски и
представления в виде
ДНФ.
2
9 Минимизация ДНФ.
Порождение
простых
импликантов.
2 Минимизация
булевых функций.
2
10 Полнота и
замкнутость систем
логических
функций.
2 Решение задач с
основными
замкнутыми
классами.
2
11 Исчисление
высказываний.
Общезначимость.
Логическое
следствие.
2 Решение логических
задач.
2
Страницы
- « первая
- ‹ предыдущая
- …
- 64
- 65
- 66
- 67
- 68
- …
- следующая ›
- последняя »
