Вопросы к экзамену

1. Понятие мультиграфа. Ориентированные и неориентированные мультиграфы. Понятие графа. Понятие смежности в теории графов. Степень вершины. Теорема Эйлера о рукопожатиях.

2. Способы задания графов. Матрицы смежности и инцидентности.

3. Бинарные операции над графами. Части и подграфы графа. Унарные операции над графами.

4. Маршруты и их виды. Исследование маршрутов графа с помощью матрицы смежности.

5. Отношение достижимости на множестве вершин графа. Матрицы достижимости и контрдостижимости.

6. Связные графы и их свойства. Метрические характеристики связных графов.

7. Эйлеровы графы и их основные свойства. Критерий эйлеровости графа. Гамильтоновы графы.

8. Деревья и их простейшие свойства. Характеризационная теорема.

9. Отношение делимости во множестве целых чисел и его свойства. Теорема о делении с остатком целых чисел.

10. НОД целых чисел и его свойства. Алгоритм Евклида. Линейное представление НОД целых чисел.

11. Простые числа и их свойства. Взаимно простые числа.

12. НОК целых чисел и его свойства.

13. Каноническое представление натурального числа. Теорема о делителях натурального числа. Нахождение НОД и НОК натуральных чисел.

14. Бесконечность множества простых чисел. Теорема об интервалах. Решето Эратосфена.

15. Числовые функции. Число и сумма натуральных делителей натурального числа.

16. Целая часть действительного числа. Теорема о каноническом разложении числа .

17. Позиционные и непозиционные системы счисления. Целые систематические числа. Операции над числами в g-ичной системе счисления. Переход из одной системы счисления в другую.

18. Сравнение во множестве целых чисел. Критерий сравнимости. Свойства сравнений.

19. Понятие кодирования. Основные задачи кодирования.

20. Алфавитное кодирование. Разделимые, префиксные схемы кодирования.

21. Взаимно однозначное кодирование. Алгоритм распознавания однозначности декодирования.

22. Коды с минимальной избыточностью. Теорема редукции.

23. Алгоритм построения кода с минимальной избыточностью (алгоритм Хаффмена).

24. Алгоритм Фано построения префиксной схемы алфавитного кодирования.

25. Самокорректирующиеся коды. Алгоритм кодирования методом Хэмминга.

26. Правила суммы и произведения.

27. Комбинации без повторений. Формулы для их числа.

28. Комбинации с повторениями. Формулы для их числа.

29. Бином Ньютона. Свойства биномиальных коэффициентов.

30. Полиномиальная теорема.

31. Высказывание. Операции над высказываниями.

32. Формулы логики высказываний. Равносильные формулы логики высказываний. Виды формул логики высказываний.

33. Свойства операций над высказываниями.

34. Логическое следствие в логике высказываний.

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

36. Булевы функции от n переменных. Число булевых функций от n переменных.

37. Суперпозиция булевых функций. Представление булевых функций через конъюнкцию, дизъюнкцию и отрицание.

38. Совершенные дизъюнктивные и конъюнктивные нормальные формы. Способы их построения.

39. Полиномы Жегалкина. Способы их построения. Линейные функции.

40. Классы T₀ и T₁. Двойственные булевы функции. Монотонные функции.

41. Теорема о функциональной полноте.