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

Объединение графов 79 —множеств 18 Объем понятия 108 Ограничение понятия 109 Операции исчисления высказываний 219 —предикатов 227 —над множествами 19 — высказываниями 141 —обращения 247 — превращения 247 — противопоставления предикату 247 Остов 82 Отношение 38 —бинарное 39 —на множестве 38 —обратное 39 —порядка 43 —рефлективное 40 —симметричное 40 —толерантности 42 —транзитивное 40 — эквивалентности 40, 42 Отображение множеств (функция) 22 — единичное (тождественное) 27 Парадокс теории множеств 32 Переменная высказывательная 132 — препозиционная 226 —свободная 231 —связанная 231 —существенная 139 —фиктивная 139 Пересечение множеств 18, 19 Перестановка 34 Петля 70 Подграф 80 Поддерево 82 Помехи 317 Подмножество 16 Подстановка 55 Позиционная система счисления 296 Поиск бинарный 94 Полином Жегалкина 192 Полнота 214 —системы функций 214 —формальной теории 214 Понятие 105 Порядок частичный 44 Постфикс 309 Посылка 211, 244 Потомок узла 82 Правило 3-введения (eg-правило) 236 —V-введения (Mg- п р а в и л о ) 236 — вывода 211, 268 —подстановки 221 — 3-удаления (es-правило) 237 —V-удаления (мз-правило) 237 — modus ponens 219 Предикат 225 Представление 38 Префикс 309 Произведение логическое (конъюнк­ ция) 137 —множеств (см. Декартово) 36 — ф ункций (см. С уперпо зици я ) 25 —чисел 27, 269 Путь гамильтонов 77 — эйлеров 77 Равенство множеств 17 — кортежей 34 — функций 23, 134 Р авн ом ощ н о с т ь (э к ви в ал ен тн о с т ь ) множеств 24, 29 Разбиение на классы 20 Разложение функций по переменным 170, 175 Размещения 48 Разность множеств 18 Р а зр еш им о сть ф орм ал ьной теори и 218 Разряд 296 Расстояние между вершинами графа 73 — кодовое 321 — Хемминга 321 Ребро (дуга) графа 70 — кратное 70 Рефлективность 40 Связность 40 — вершин 73 — графа 74 Связка логическая 141 Свойство информации 301 — характеристическое 15 Сеть 89 Сигнал 300 Силлогизм 249 Система счисления 295 —двоичная 297 363