СОДЕРЖАНИЕ
|
1. ЛОГИКА ВЫСКАЗЫВАНИЙ
|
3
|
2. УНАРНЫЕ СВЯЗКИ
|
3
|
3. БИНАРНЫЕ СВЯЗКИ
|
3
|
4. ЭКВИВАЛЕНТНОСТЬ ВЫСКАЗЫВАНИЙ
|
3
|
5. НОРМАЛЬНЫЕ ФОРМЫ ДЛЯ ЛОГИЧЕСКИХ ФУНКЦИЙ
|
5
|
6. СПОСОБЫ МИНИМИЗАЦИИ ЛОГИЧЕСКИХ ФУНКЦИЙ
|
5
|
7. МИНИМИЗАЦИЯ С ИСПОЛЬЗОВАНИЕМ КАРТ КАРНО
|
5
|
8. МИНИМИЗАЦИЯ МЕТОДОМ КУАЙНА
|
5
|
9. ДОКАЗАТЕЛЬСТВО ЛОГИЧЕСКИХУТВЕРЖДЕНИЙ
|
7
|
10. СПОСОБЫ ПРОВЕРКИ ПРАВИЛЬНОСТИ УМОЗАКЛЮЧЕНИЙ
|
7
|
11. МЕТОД ПРОВЕРКИ ПРАВИЛЬНОСТИ УМОЗАКЛЮЧЕНИЙ, ОСНОВАННЫЙ НА ДОКАЗАТЕЛЬСТВЕ НЕПРАВИЛЬНОСТИ УМОЗАКЛЮЧЕНИЯ
|
7
|
12. МЕТОД ДОКАЗАТЕЛЬСТВА ОТ ПРОТИВНОГО
|
7
|
13. ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ
|
9
|
14. СВЯЗЬ МЕЖДУ КВАНТИФИЦИРОВАННЫМИ ПРЕДИКАТАМИ И ПРЕДИКАТАМИ, В КОТОРЫХ ИСПОЛЬЗУЮТСЯ КОНКРЕТНЫЕ ЗНАЧЕНИЯ ПЕРЕМЕННЫХ
|
9
|
15. МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ
|
9
|
16. ОПИСАНИЕ МНОЖЕСТВ
|
9
|
17. CПОСОБ ЗАДАНИЯ МНОЖЕСТВА
|
11
|
18. ОПЕРАЦИИ НАД МНОЖЕСТВАМИ
|
11
|
19. СВОЙСТВА МНОЖЕСТВ
|
11
|
20. БУЛЕВЫ АЛГЕБРЫ
|
11
|
21. ВИДЫ ОТНОШЕНИЙ НА МНОЖЕСТВЕ
|
13
|
22. ПОНЯТИЕ ЧАСТИЧНОГО ОТОБРАЖЕНИЯ
|
13
|
23. ОПЕРАЦИИ НАД СООТВЕТСТВИЯМИ
|
13
|
24. СВОЙСТВА КОМПОЗИЦИИ СООТВЕТСТВИЙ И ОБРАТНОГО СООТВЕТСТВИЯ
|
13
|
25. ЧАСТИЧНО УПОРЯДОЧЕННЫЕ МНОЖЕСТВА
|
15
|
26. ПОНЯТИЕ АЛГОРИТМА
|
15
|
27. ЦИКЛИЧЕСКИЕ АЛГОРИТМЫ
|
15
|
28. РЕКУРСИВНЫЕ ФУНКЦИИ И АЛГОРИТМЫ
|
15
|
29. АЛГОРИТМ СОРТИРОВКИ ВЫБОРОМ
|
17
|
30. АЛГОРИТМ ПУЗЫРЬКОВОЙ СОРТИРОВКИ
|
17
|
31. АЛГОРИТМ БЫСТРОЙ СОРТИРОВКИ
|
17
|
32. АЛГОРИТМЫ СОРТИРОВОК СЛИЯНИЕМ И ВСТАВКАМИ
|
17
|
33. АЛГОРИТМЫ ПЕРЕВОДА ЧИСЕЛВ ДВОИЧНУЮ СИСТЕМУ СЧИСЛЕНИЯ
|
19
|
34. АЛГОРИТМ ПЕРЕВОДА ЦЕЛОГО ДЕСЯТИЧНОГО ЧИСЛА N В ДВОИЧНОЕ ЧИСЛО N
|
19
|
35. АЛГОРИТМ ПЕРЕВОДА ЧИСЕЛ В ШЕСТНАДЦАТЕРИЧНУЮ СИСТЕМУ СЧИСЛЕНИЯ
|
19
|
36. АЛГОРИТМ ПЕРЕВОДА ЧИСЕЛ ИЗ ШЕСТНАДЦАТЕРИЧНОЙ СИСТЕМЫ СЧИСЛЕНИЯ
|
19
|
37. СВОЙСТВА МАЖОРИРУЕМЫХ ФУНКЦИЙ
|
21
|
38. ЧИСЛО AРИФМЕТИЧЕСКИХ ОПЕРАЦИЙ, НЕОБХОДИМЫХ ДЛЯ РАЗЛИЧНЫХ АЛГОРИТМОВ
|
21
|
39. ЧИСЛО AРИФМЕТИЧЕСКИХ ОПЕРАЦИЙ, НЕОБХОДИМЫХ ДЛЯ АЛГОРИТМА СОРТИРОВКИ
|
21
|
40. ОСНОВНЫЕ ПОНЯТИЯ ТЕОРИИ ГРАФОВ
|
21
|
41. СВОЙСТВА ГРАФОВ
|
23
|
42. ЦИКЛЫ ГРАФОВ. ЭЙЛЕРОВ ПУТЬ
|
23
|
43. ОРИЕНТИРОВАННЫЕ ГРАФЫ
|
23
|
44. РАЗМЕЧЕННЫЙ И СВЯЗНЫЙ ГРАФЫ
|
23
|
45. МАТРИЦА ИНЦИДЕНТНОСТИ ГРАФА
|
25
|
46. МАТРИЦА СМЕЖНОСТИ ГРАФА
|
25
|
47. ПРАВИЛА ПОСТРОЕНИЯ КОДА ГРЕЯ
|
25
|
48. КОМБИНАТОРНЫЙ ПРИНЦИП УМНОЖЕНИЯ
|
25
|
49. КОМБИНАТОРНЫЕ ПРИНЦИПЫ СЛОЖЕНИЯ
|
27
|
50. ПЕРЕСТАНОВКИ, РАЗМЕЩЕНИЯ, СОЧЕТАНИЯ
|
27
|
51. СВОЙСТВА СОЧЕТАНИЙ
|
27
|
52. CВОЙСТВА СОЧЕТАНИЙ. ТЕОРЕМА ВАНДЕРМОНДА
|
27
|
53. ТРЕУГОЛЬНИК ПАСКАЛЯ
|
29
|
54. ОТНОШЕНИЯ МЕЖДУ ГРАФАМИ
|
29
|
55. ОБЪЕДИНЕНИЕ, ПЕРЕСЕЧЕНИЕ ГРАФОВ. ДОПОЛНЕНИЕ ГРАФА
|
29
|
56. СВОЙСТВА OТНОШЕНИЙ МЕЖДУ ГРАФАМИ
|
29
|
57. ПЛАНАРНЫЕ ГРАФЫ
|
31
|
58. СВОЙСТВА ПЛАНАРНЫХ ГРАФОВ
|
31
|
59. ТЕОРЕМА КУРАТОВСКОГО
|
31
|
60. ОПРЕДЕЛЕНИЕ КРАТЧАЙШЕГО ПУТИ
|
31
|
61. АЛГОРИТМ ДЕЙКСТРЫ
|
33
|
62. АЛГОРИТМ ФЛОЙДА–УОРШОЛЛА
|
33
|
63. ВЗВЕШЕННЫЕ ДЕРЕВЬЯ
|
33
|
64. АЛГОРИТМ ХАФФМАНА
|
33
|
65. РЕГУЛЯРНЫЙ ЯЗЫК
|
35
|
66. СВОЙСТВА РЕГУЛЯРНОГО ЯЗЫКА
|
35
|
67. РЕТРАКЦИОННОЕ ОТОБРАЖЕНИЕ. ПРЕФИКСНЫЙ И СУФФИКСНЫЙ КОД
|
35
|
68. АВТОМАТЫ
|
35
|
69. ТЕОРЕМА КЛИНИ
|
37
|
70. ГРАММАТИКИ
|
37
|
71. ОПРЕДЕЛЕНИЕ ВЫВОДИМОСТИ
|
37
|
72. ПОСТРОЕНИЕ ВЫВОДА В ПОРОЖДАЮЩЕЙ ГРАММАТИКЕ
|
37
|
