Введение в дискретную математику - Яблонский С.В.
Скачать (прямая ссылка):
— изоморфные 225
— пеизоыорфные, число 226, 227, 237
Двойственность 23 —, принцип 24
874
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Двойственность, принцип для программ (машин) 119 Декодирование 259, 292
— однозначное 260 Дерево 78, 79, 230 —, вес 83
—, — конечный 85, 86 —, ветвь 79
—, геометрическая реализация 231
—- занумерованное 80
— кодовое 278
----, преобразования 280, 281
—, корень 79, 230
— насыщенное 279
—, поддерево специальное 83 —, путь 80 —- усеченное 85
— конечное 85, 86
Деревья неизоморфные, число 232
— эквивалентные 83 Диаграмма Мура 86 Дизъюнктивная нормальная
форма (д. н. ф.) 297
? Квайна 326
кратчайшая 299
минимальная 299
----------относительно Ь 299
--------, сложность 298
совершенная 27, 297
---------, аналог 47, 150, 151
сокращенная 313
типа 326
-------тупиковая 301
----------в геометрическом
смысле 316
?--------относительно преоб-
разований I и II 301
, упрощение 301
Дизъюнктор 351 Дизъюнкция 13 —, обобщение 45 —, свойства 21
Дискретный преобразователь 76, 336
Дистрибутивность 21, 46
Зависимость между вершинами сети 249
— с запаздыванием 94
— существенная 11 Задача о покрытии 312
— о трех домах и трех колодцах 224
Задача синтеза 351 Задачи комбинаторного анализа 188
-------, алгебраический подход
190
— — —, метод производящих функций 197
-------, теоретик о-множественный подход 188 Замкнутость 30 Замыкание 33, 50 —, свойства 33
Запись числа двоичная 162, 365
Звезда 245
—- полюсная 245
—, центр 245
Зона рабочая лепты 119
Изоморфизм графов 225
— сетей 229
— функциональных систем 106 Импликанта простая 312 Импликация 13
Инвертор 351 Индекс простоты 298 Источник помех 259 , логико-комбинаторное описание 259
, статистическое описание
259
— сообщений 257
, логическое описание 257
?---, статистическое описание
257
, теоретико-множественное
описание 257
Канал связи 258 Квадрат 58
Класс функций .двойственный 34
замкнутый 33, 50
— — максимальный 41
предполный 41
Код 272
— максимальный 296
— машинный 129
— — вспомогательный 136
квазиосновной 136
основной 129
решетчатый 136
/-кратный 136
— помехоустойчивый 260
— префиксный 261
*= —, преобразование 283
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
375
Код приведенный 282
— самокорректирующийся 289
— с минимальной избыточностью 277
— слова 258
— сообщения 257, 259
— Хафмана 277
— Хэмминга 290
геометрические свойства
293
— элементарный 258 Кодирование 257
— алфавитное 257
, взаимная однозначность
260, 264 , схема 258
— равномерное 258
----, схема 258
Команда 115
— остановки машины 116
— пу.стая 116 Коммутативность 21, 46 Комплекс одномерный 223 Композиция машин 120 , 1-и тип 120
, 2--Й тип 121
Компоненты разложения 26
— связные 245, 333 Константа 0 12
— 1 12
Конъюнктивная нормальная форма (к. н. ф.) 314
---------совершенная 29
Конъюнктор 351 Конъюнкция 13 —, обобщение 45 —, ранг 297 —, свойства 21
— элементарная 297 Корень дерева 79, 230 Коррекция кода 259
— ошибки 289
Куб единичный « мерный 307
, разбиение на сферы 294
-—, —на шары 294
, к-й слой 179
— « мерный размера к 172 ---------, слой 182
Лента бесконечная 116
вправо 115
—, заключительная запись 118
— пустая 118
Логика двузначная (алгебра логики) 43
Логика конечпозначная 43
— континуумзначная 73
— счетнозначная 73
— А*-значная 43
----, особенности 65
Машина 115
— Тьюринга 113, 118
, вычисление правильным
образом 144
, итерация 121, 123, 124
, последовательное подключение 120, 123 Машины двойственные 119 Метод синтеза асимптотически наилучший 361
Л у панов а 361
• оптимальный по порядку
357
, основанный на более компактной реализации всех конъюнкций 353
— —, — на разложении функции по переменной 353
, — на совершенной д. н. ф.
351
— — Шеннона 357 Минимизация 146, 148
— булевых функций, проблема 298
Многополюсник 353
— для множества всех конъюнкций X... & х°п 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 -П(и) 155 -П/а/) 155 -Р> (Р, п 154 Операторная схема 122 Операция бесповторной подстановки функций 18
— введения несущественной переменной 12, 152
обратной связи 94, 98
— минимизации 146, 148
— О 94, 98
— объединения непересекаю-щихся сетей 337
— подразделения ребра графа
225
— подстановки переменных 17 сети вместо ребра 238
— Пр 146
