Г.П. Гаврилов, А.А. Сапоженко - Задачи и упражнения по дискретной математике (1055357), страница 85
Текст из файла (страница 85)
Кенига 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 .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
