Вопросы для подготовки к экзамену по

Вопросы для подготовки к экзамену по

курсу «Дискретная математика».

1. Булевы функции. Способы задания булевы функции.

2. Количество булевых функции от n переменных. Фиктивные и существенные переменные.

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

4. Булевы формулы. Представление булевых функций формулами.

5. Эквивалентность формул.

6. Основные эквивалентности в алгебре логики.

7. Разложение булевых функций по переменным.

8. Совершенные дизъюнктивные нормальные формы.

9. Совершенные конъюнктивные нормальные формы.

10. Функциональная полнота систем булевых функций.

11.Реализация булевых функций схемами из функциональных элементов.

12. Логика высказываний.

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

14. Логические высказывания и булевы функции.

15. Основная теорема теории логического вывода.

16. Основные понятия теории графов.

17. Способы задания графов.

18. Изоморфизм графов. Необходимые условия изоморфизма.

19. Реализация графов в трехмерном Эвклидовом пространстве.

20. Планарность графов.

21. Формула Эйлера для плоских графов.

22. Формула Эйлера для многогранных графов.

23. Критерии планарности.

24.Деревья.

25. Задача о кратчайших путях в графах.

26. Эйлеровы графы.

27. Понятие множества.

28. Способы задания множеств.

29. Операции над множествами.

30. Алгебра множеств.

31. Связь между алгеброй множеств и алгеброй логики.