Спирина, М.С. Дискретная математика

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ Автоматы 341 —асинхронные 344 —вероятностные 345 —комбинационные 346 —Мили 346 —Мура 346 —синхронные 344 Аксиома 211, 258, 268 —независимости 211 —непротиворечивости 213 —полноты 214 Алгебра — булева 131, 153 — высказываний 140, 153, 219 —вычетов 329 Алгоритм 342 Алфавит 35, 300, 309 —формальной теории 210 —логики высказываний 219 Аналогия 259 Базис 196, 214 —Же галкина 199 —индукции 115 Биекция 23, 45 Булеан 31 Буква 35 Булева функция 133 Вершина (узел) графа 70 —висячая 71 —изолированная 71 —нечетная 71 —четная 71 Вес разряда 297 Вывод 211 Выводимость 211, 220, 221 —непосредственная 211 Выборка 276, 278 Высказывание 132, 219, 226 —обратное 148 —противоположное 148, 239 Вычет по модулю 329 Генеральная совокупность 278 Гипотеза 211, 281 Граф 69 —взвешенный (см. Сеть) 89 — гамильтонов 77 — несвязный 73 —ориентированный 72 — планарный 75 —плоский 75 — полный 71 —связный 73 —эйлеров 77 Двойственность 194 Дедукция 243—245, 258 Декартово (прямое) произведение 36 Декодирование 289 Деление нацело 288, 327 —понятия 120 — с остатком 327 Дерево 80 —бинарное 82 —ориентированное 92 Дешифрование 289, 313 Диапазон представления чисел 297 Дизъюнкция 137, 222, 228 —элементарная 171 Дискретный (сигнал) 300, 345 Длина маршрута 72 —разрядной сетки 297 —числа 297 Дополнение графа 71 —множества 18 Закон склеивания 181 —Де Моргана 152 —достаточного основания 163 — идемпотентности 152 —инверсии (отрицания) 142, 152 — исключенного третьего 161 361