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

— восьмеричная 297 —десятичная 295 —шестнадцатеричная 299 Симметрическая разность 18 Симметричность 40 Слово 300 —над алфавитом (множеством) 35, 210 —пустое 309 Смежность вершин 70 —ребер 70 Содержание понятия 108 Соединение графов (кольцевая сумма) 80 Сообщение 309 —шифрованное 291 Соответствие множеств 20 —взаимно-однозначное 23 —обратное 21 Сочетания 48 Способы задания конечных автоматов 347 Сравнение по модулю 328 Степень вершины 70 —входа 72 —выхода 72 Стрелка Пирса 137 Суждения 131 —вероятностные 244 —достоверные 244 Сумма по модулю два 137, 187 Суперпозиция (композиция) функций 25 Схема аксиом 269 —логическая 175 —правил вывода 269 — комбинационная 176 Сын узла 82 Сюръекция 23 Таблица истинности 137 Тавтология 155 Тайнопись 290 Теорема 211 —Поста—Яблонского 196 —Эйлера 274 Теория 212 — семантически непротиворечивая 213 —формальная 211 —формальной арифметики 267 Терм 268 Транзитивность 41 Триггер 355 Умозаключение 244 —дедуктивное 244 — индуктивное 244 — традуктивное (аналогия) 259 Уровень узла 82 Условие необходимое 147 —достаточное 147 — эйлеровости графа 77 Фаза доказательства 273 Форма нормальная 170 Формула 135, 210, 268 —двойственная 194 —истинная 155 —ложная 155 — общезначимая 213, 241 — невыполнимая 213 —формальной теории 211 —Хартли 302 —Шеннона 302 Фрейм 90 Функциональная замкнутость 193 Функциональная полнота 196 Функция 45 —булева 133 —выхода автомата 346 —двойственная 194 —монотонная 195 —обратная 23 —перехода автомата 346 —самодвойственная 194 Цепь 73 —простая 73 — эйлерова 77 Цикл 73 —простой 73 —эйлеров 77 Цифра 296 Цифровая подпись 333 Числа взаимно простые 288, 333 Число инверсий 58 —перестановок 47 —простое 334 —размещений 48 —сочетаний 48 Шифр Бэкона 291 364