Задачи И Упражнения По Дискретной Математике, Гаврилов, Сапоженко, страница 84

н. ф. 47 Слой булева куба 9, 247 Соединение слов 102 Степень вершины графа 203 Сток орграфа 212 Стрелка Пирса 12 Сумма по модулю 2 12 ---к 89 Суперпозиция сетей 224 функции 14, 195 Сфера в булевом кубе 241 Схема, реализующая функцию 145 Таблица каноническая 130 критериальнэя 81 Теорема Визинга 217 †.

Кенига 205 о представлении вычислимой функции 196 — Пикар 97 Поста (критерий полноты в алгебре логики) 81 . Шеннона 217 Тост 291 Точка сочленения (разделяющая вершина) 206 Турнир 212 5еравнения канонические 128 Форма дизъюнктивная нормальная 47 -. - -. кратчайшая 296 минималъная 296 - . — совершенная 40 - -. сокращенная 296 тупиковая 296 «онъюнктивна» нормальная 47 совершенная 40 -- й-значной функции вторая 91 первая 91 Формула над множеством связок 13 функциональных символов 12 --- Стирлинга 278 Формулы одинакового строения 14 эквивалентные 14 Функции конгруэнтные 60 равные 31 Функции эквивалентные (неразличимые) 103 Функция автономная (константная, без выхода) 123 .

булева 1булевская, алгебры логики) 10 , двойственная к функции 31 линейная 68 монотонная 75 самодвойственная 31, 64 симметрическая 21 , сохраняющая константу 72 шефферова 81 -- - " элементарная 11 — Вебба 89 выходов 127, 179 вычислимая 196 детерминированная 1()3 ограниченно-детерминированная 103 переходов 127, 179 проводимости 312 , реализуемая формулой 13 --. 1е-значной логики 88 , сохраняющая множество 92 разбиение 93 — характеристическая второго рода 88 первого рода 88 — -- элементарная 88 ." й-фактор графа 205 Центр графа 223 Цепь в графе 204 Цикл в булевом кубе 242 графе 204 е4исло кликовое 216 реберно-хроматнческое 216 -- хроматическое 216 Шар в булевом кубе 241 Штрих Шеффера 12 Эквивалентность машин Тьюринга 181 Эквиваленция 12 Элемент единичной задержки 151 )к~ --.

минимальное целое число, не меньшее к 64 я-сеть 224 .