Шпаргалка. Дискретная математика

1. Логика высказываний
2. Унарные связки
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. Алгоритм быстрой сортировки
32. Алгоритмы сортировок слиянием и вставками
33. Алгоритмы перевода чисел в двоичную систему
счисления
34. Алгоритм перевода целого десятичного числа п
в двоичное число п
35. Алгоритм перевода чисел в
шестнадцатеричную систему счисления
36. Алгоритм перевода чисел из
шестнадцатеричной системы счисления
37. Свойства мажорируемых функций
38. Число арифметических операций, необходимых
для различных алгоритмов
39. Число арифметических операций, необходимых
для алгоритма сортировки
40. Основные понятия теории графов
41. Свойства графов
42. Циклы графов. Эйлеров путь
43. Ориентированные графы
44. Размеченный и связный графы
45. Матрица инцидентности графа
46. Матрица смежности графа
47. Правила построения кода Грея
48. Комбинаторный принцип умножения
49. Комбинаторные принципы сложения
50. Перестановки, размещения, сочетания
51. Свойства сочетаний
52. Свойства сочетаний. Теорема Вандермонда
53. Треугольник Паскаля
54. Отношения между Графами
55. Объединение, пересечение Графов.
Дополнение графа
56. Свойства отношений между графами
57. Планерные графы
58. Свойства пленарных графов
59. Теорема Куратовского
60. Определение кратчайшего пути
61. Алгоритм Дейкстры
62. Алгоритм Флойда-Уоршолла
63. Взвешенные деревья
64. Алгоритм Хаффмана
65. Регулярный язык
66. Свойства регулярного языка
67. Ретракционное отображение. Префиксный и
суффиксный код
68. Автоматы
69. Теорема Клини
70. Грамматики
71. Определение выводимости
72. Построение вывода в порождающей
грамматике