С.В. Яблонский - Введение в дискретную математику (1060464), страница 55

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 55)

35! — — Шеннона 357 Минимизация 146, 148 — булевых функций, проблеыа 298 Многополюсник 353 — для множества всех коньюлкций з 'Й ... а3а з„" 353 — — — — булевых функций от аа переменных 358 — универсальный 358 Множество цилиндрическое 89 Моделирование на решетке 133 Момент времеви 76 Мощность множества детерминированных функций 77 Набор 10, 222 Наборы противоположные 35 — соседние 37 — стандартное расположение 10 Неравенство Макмиллана 272 †меж средним геометрическпм и средяим арифметическим 236 Нормировка 60 — неполная 61 376 ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ Нумерация вершин 84 — ребер 80 Обратная свяаь 94, 98 Объем допустимой памяти алгоритма 333 Окрестность максимальной грани 331 — — — второго порядка 335 — — - первого порядка 333, 335 — — — порядка 0 331 — — — порядка и 331 Оператор 121 — логичеокий 340 , осуществляющий преобразование эаписи ленты 121 — проверив логических условий 122 специальный 122 — П(0 1) 155 — Пг(Ц 1) 155 — р (3, ()') 154 Операторная схеыа 122 Операцив бесповторной подстановки функций 18 — введения несущественной переменной 12, 152 — — обратпоя свяаи 94, 98 — ынниыизацви 146, 148 — О 94, 98 объедвнения непересекающихся сетей 337 — подраэделения ребра грофа 225 — подстановки переменных 17 — — сети вместо ребра 238 — Пр 146 — примитивной рекурсии 146, 147 — присоединения элемента 337 — расщепления выходов 338 — С 146 — суперпоавцпи 16, 91, 146, 239 — уделенпя множителя 301 — — несущественной переменной 12, 151 — — элементарной конъюнкции 301 — «146 Определитель Вандермонда 70 Отношение предшествования 28 — о 203 — —, свойства 203, 204 — О 202 —, свойстве 203, 204 Отношение ( 205 — ц, 205 —: 203 — Х 205 204 Отрицание 13 — Лукашевкча 45 —, обобщение 45 Отросток 241 Ошибка 289 †, коррекция 289 †, обверужение в коде Хемыинга 291 Перебор 11, 300 Переменная песущественпав 11, 143 — — в уэком смысле 151 — существенная 11 — фиктивная 11 — †, введение 12 — †, удаление 12 Переменные, отождествление 18 †, переименование 18 †, перестаповкв 18 Перестановка 172 †, число 174 †, †, порядок 208 †, †, оценки 176 Петля 223 Поглощепве произведение множителем 23 Подграф 226 Поддерево спецвэльное 83 Подпуть 239 — собственный 240 Подрааделенве трефа 225 — ребра 225 Подстановка обобщенная 43 — переменных 17 — сети вместо ребра 238 — форыул 22 — фуихций бесповторнав 18 Подформула 15 †, вемена 22 Покрытие 3!1 — неприводимое 316 †, ранг 312 — точечное 311 Поле Галуа 71 Полипоы Жегвлкина (по шод 2) 32 — †, единственность представления фуняции 32 - ~о шод л 69 пвцдмнтньгн указатвчь 377 Полнота 30, 42, 48 †, критерий 42, 56 †, распознавание 51 Полюс 227 Порядок л! 208 Последовательность векторов 74 — входная 76 — выходная 77 — наборов 75 — унимодалькая 178 Правило Крамера 71 Предикат р(з) 120 — — двузначный 120 — — трехзначный 120 Представление Клина 169 Преобразование значений 61 — кзазиосновного кода в основной 14! — основного кода в 1-кратный 137 — переменных 6! — Решетчатого кода в основной 138 Преобрааователь беа входов 77 — дискретный 76,'336 — элементарный 343 Префикс, свойство 261 — слова 26! Првмитизпая рекурсия 146, 147 — †, схема 147 Принцип подключеппя-исключения 189, 194 Прогрет~ма 115 — двойственная 1!9 Программирование для машин 7'ьюринга 124 Путь 80, 223 Пучок граней 326 — ребер 79 Разбиения множества 172 — †, чвсло 183, 184 Разветвлевве 344 !'ааложевие фувкцив 26, 48 Н-разлонсение 247 р-рааложение 247 з-рааложение 247 Размещения 171 †, число 174 Ранг траки 308 — коныоикции 297 — покрытия 312 Расстояние между вершввами куба 293 Расщепление 248, 249 Расщепление, единственность 251 — кановвческое 253 — †, единственность 253 Н-расщепление 249 Р расщепление 243 з-расщеплензе 249 Ребро 79, 222 Решетка 133 Связка плоскостей 224 Связь между схемами из Ф, Э.

и формулами 344, 315 Сети изоморфные 229 — неизоморфпые, число 232, 234 Сеть 227 — бесконечная 227 — внешняя 246 — внутренняя 246 †, геометрическая реалвзацня 227, 228 — двухполюсная 237 — конечная 227 — логическая 337 — — триввальпая 337 — неразложпмая 242 — однополюсная 230 — разложимая 242 — Н-разложпмая 247 — р-раэложвмая 247 — з-разложимся 247 — свяавая 237 — сильно свчзная 240 †, степень 233 †, — среднял 233 †, структура степенная 233 — счетная 227 — трпвпальпая 242 Н-сеть 243 я-сети 253 †, число 254 Символ пустой 115 — Л 114 Синтеа схем иа Ф. Э. 345 — — — — —, асимптотячески наилучший метод 361 — — — — — —, качество алгорвтма 350, 355 — — — оптимальный по порядку метод 357 — — — — —, элементарные методы 351 Система аамкнутых классов 54 — подмножеств 171 функций долпая 30, 48 378 ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ Система функций полная и аамкнутом классе 42 Следование логическое 13 Слово 256 — буферное 136 †, длина 256 †, конец 261 †, начало 261 — ыеприводнмое 265 †, префикс 261 — собственное 261 Сложение логическое 13 — по шод 2 13 — я-раэрядных двоичных чисел 18, 365 Сложность д.

н. ф. 298 — схемы иа Ф. Э. 346 Соедииеняе 346 — ребер параллельное 243 — — последовательыое 244 Сообщение 257 Состояние 88, 115 — аакггючктельное 118 — начальное 117 Сочетания 172 — с повторенвями 172 — — †, чысло 180 †, чысло 177 Степень набора 233 — сети 233 — — средняя 233 Строение формул 15 Сумматор 364 Суперпоанцпя сетей 239 — функций 18, 91, 146 Сфера 293 †, радиус 293 †, центр 293 Схема иа функциональных алементов 336, 338 — — — — минимальная 346 — — — —, проводимость 340 — кодирования 258 — одновременной прныитивной рекурсии 184 — операторная 122 — лримитивной рекурсии 14? Теорема Белла 200 — Жегалкина 32 — Журавлева 327 — Квайиа 326 — Клины 165 — Кратко 110 — Кудрявцева 110 Теорема Куанецова о функциональной полноте 54 — Луканова 234, 361 — Маркова 264 — Мартина 65 — Мучника 6? — обращения 191 — о рааложении функции 26 — о редукции 283 — о функциональной полноте 40, 54 — Пикара 64 — Понтрягина — Куратовского 225, 228 — Поста 42 — Слупецкого 64 — —, обобщенве 61 — Ферма 70 — Янова 67 Тождество Белла ЮΠ— Добпиского 202 Точка предельная 202 — регулярная 326, 327 Треугольыик Паскаля 179 Укладка дерева 231 Умножение логическое 13 Уравнения кановичеокие 88 Формула 14 — бинома Ньютона 180, 196 — Валлиса 209, 211 — включения-исклгочевня 189, 194 — двойственная 24 — каноническая 108 — Клики 162 †, реализация фувкцвн 16 — Стврлиыга 208 — †, константа 211 — строение 15 Формулы обращения 191, 192 — аквнвалептыые 20 Функцив равные 12 †, суперпоаиция 16 — элементарные 13, 45 — †, свойства 21, 46, 47 Функциональный элемент 336 Функция алгебры логики (булева функция) 9, 10 — Вебба 50 — вычислимая 143 — двойственная 23 — детермннированыая 75 — —, вес 83 ПРЕДМЕТНЫЙ УКАЗАТЕПЬ Фуакцвк детермкпвроаалазя, задааве 78 — лавейаая 33, 38 †монотонн 36 — ве всюду определеввая 96, 143 — аелавейваа 38 — вемовотоввак 37 — аесамодзойстзеваая 35 — ограввчекко - детермиаирозаавая (о.-д,) 86 — пеаюзская 162 — првмптизю-рекурсизваа 149 — проаззодлщая 198 — — акспоаеацаальваа 200 †, рааложеаве по заем к переменным 26 †, — по переменкой 26 †, -по и-перемеввым 25 — рекурсазвая 149 — самодзойстзепваа 34 — самметраческая 366 — — отвосвтелыю перемеввых 12 — — — всех сюпх перемеавых 12, 13 — — — — — оущестзеааых перемеввых 13 —, сохравающая коаставту 0 34 —, — ковстаату 1 34 —, -маожестзо 50 —, — — фувкцай 53 — существенная 56 — тождестзепаая 13 — характерастическаа 45 — частвчвая 143 — — счетвозпачвой логика 143 — частачво-рекурсиапаа 149 — Шеввова 350 — Шеффера 13, 65 — —, апалог 108, 170 Ф.

Э. Иб Цепь 240 Цикл 223 — ораевтврозаппый 269 Цвливдр 89 Числа Белла 184, 187 — —, формула 193 -Сткрлвкге 2-го рода 184, 185, 187 — — — —, формула 192, 193 — Фкбовачча 198, 200 3~(л) 196, 197 Число булезых функций от л перемениых И вЂ” — сущестзекво зависящих от л переменпых 190, 192 — аеазбыточкых покрытий 194, 196 — певзоморфвых графов 226, 227, 237 — — сетей 254 — о.-д фуккцай 87 — перестановок 174 — †, порядок 208 — †, оцевка 176 — подмюжестз 173 — рабочее 366 — размещекай 174 — соединений 347 — сочетаний 177 — — с поаторепвями 180 — схем аз Ф.

Характеристики

Список файлов книги