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

— противоречия 159 —тождества 157 Измерение информации 301 Изоморфизм 38 — графов 75, 84 Импликация 138, 228 Инверсия 58 Индукция 262 Интерпретация 212 —исчисления предикатов 224 —формул 212 —формальной теории 212 Инцидентность 70, 85 Инъекция 23 Истинность (семантическая характери­ стика) 105 Исчисление высказываний 219 —предикатов 224 Канал 319 Карты Карно 180 Квантификация 233 Кванторы 16, 231 —двойственные 232 —общности 231 —существования 231 Класс линейных функций 194 —монотонных функций 195 —самодвойственных функций 194 —функций, сохраняющих констан­ ту 1 194 —функций, сохраняющих констан­ ту 0 194 —эквивалентности 42 Классификация 123 Ключ 313, 333 —открытый 334 —закрытый 314 Код 309 —Хемминга 322 —сообщения 309 Кодерево 82 Кодирование 289 — алфавитное 309, 310 —двоичное 311 —оптимальное 311 — помехоустойчивое 317, 319 — с минимальной избыточностью 311, 318 — самокорректирующееся 320 —эффективное 314 Количество информации 301 Комбинаторика 45 Компонента связности 74, 80 Константа 225 Конъюнкция 137, 142, 222, 227 —элементарная 171 Корень дерева 80 Кортеж 34 Кратность ребра 70 Криптография 292 Лес 82 Лист дерева 82 Логическая аксиома 268 — связка 141, 227 —схема 175 —эквивалентность 220 Логическое следствие 220 Маршрут 72 Матрица инцидентности 85 —смежности 85 Метатеория 212 Метауровень 209 Метаязык 212 Метод резолюций 219, 282 Множество 14 —бесконечное 29 —истинности 226 —конечное 29 —несчетное 29 —пустое 15 —счетное 29 — универсальное 16 —упорядоченное 34 Модель 280 —формальной теории 211 Мост 74 Мощность множества 17 Непротиворечивость 213 Нуль-граф 71 Нормальные формы 170 — дизъюнктивные (ДНФ) 171 — совершенные 171 — конъюнктивные (КНФ) 171 Область действия квантора 231 —значений функции 22 — определения функции 22 Обобщение понятия 107, 110 Образ 20 362