Список вопросов по основам дискретной математики

1 Множество и его подмножества

1.1 Алгебра подмножеств
1.2 Свойства действий в алгебре Д.Буля
1.3 Определение общей булевой алгебры
1.4 Алгебра высказываний
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. Схемы из функциональных эдементов