Дискретная математика. Экзамен

Дискретная математика. Вопросы к экзамену.

1.Основные связки.

2.Длина таблицы истинности.

3.Свойства действий.

4.Булева алгебра логики выражений.

5.Множества и бинарные отношения.

6.Булевы функции.

7.Количество булевых функций.

8.Элементарные булевы функции.

9.Совершенная дизъюнктивная нормальная форма (СДНФ).

10.Совершенная конъюнктивная нормальная форма (СКНФ).

11.Полные системы булевых функций.

12.Совершенная полиномиальная нормальная форма (СПНФ).

13.Двойственные булевы функции.

14.Минимизация СДНФ вручную.

15.Минимизация по Квайну (Куайну).

16.Минимизация по картам Карнау (Карно).

17.Минимизация методом сочетания индексов.

18.Замкнутые системы булевых функций.

19.Классы T0, и T1.

20.Классы S и L.

21.Класс M.

22.Замкнутость классов.

23.Теорема Поста.

24.Логическое следование.

25.Теоремы о логическом следовании.

26.Доказательство методом от противного.

27.Правило резолюции.

28.Непротиворечивость системы посылок.