|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств |
|
|
|
| Предметный указатель |
Опыт случайный, неопределенность 335
Опыт случайный, энтропия 335
Опыты независимые 341
Опыты независимые, энтропия 343
Отношение покрытия автоматов 121
Отношение покрытия состояний 120
Ошибка арифметическая 326
Ошибка арифметическая, обнаружение 327
Ошибка несимметричная 266 323
Ошибка несимметричная, исправление 323
Ошибка симметричная 266
Ошибка стирания 267
Память 11 49
Пачка ошибок 324
Пачка ошибок, обнаружение 325
Перебор 18 54
Перебор сокращенный 18
Перевод унарной записи в двоичную 164
Подкуб 69
Подкуб максимальный 69
Подстановка базисная 214
Подформула 27
Покрытие вершинное 260
Покрытие функции 75
Покрытие функции неизбыточное 75
Полином см. также «Многочлен»
Полином Жегалкина 37
Полином Жегалкина, единственность 38
Полноты свойство 16
Полюс схемы 51 136 151
Последовательности совместимые 127
Правило вычеркивания 31
Правило поглощения 31
Правило склеивания 31
Правило сложения энтропии 342
Преобразование информации 347
Преобразование формулы эквивалентное 28
Применимость входной последовательности к состоянию 119
Применимость машины Тьюринга к конфигурации 161
Проблема см. также «Задача»
Проблема алгоритмически неразрешимая 210
Проблема алгоритмически разрешимая 208
Проблема выводимости в системе подстановок 213
Проблема выводимости в системе подстановок, неразрешимость 215
Проблема выводимости в системе продукций 218
Проблема выводимости в системе продукций, неразрешимость 219
Проблема массовая 210
Проблема останова 213
Проблема полноты конечной системы автоматов 155 222
Проблема полноты конечной системы автоматов, неразрешимость 222
Проблема самоприменимости 212
Проблема самоприменимости, неразрешимость 212
Программа машины Тьюринга 160
Продукция базисная 218
Произведение источников 382
Произведение наборов 307
Произведение наборов скалярное 292
Произведение наборов, свойства 310
Произведение опытов 341
Пространство линейное 285
Работа в реальном масштабе времени 14
Равенство асимптотическое 94
Разбиение состояний замкнутое 124
Разложение по переменным функции логической 32
Разложение по переменным функции частичной 60
Разряд информационный 275
Разряд проверочный 275
Расстояние арифметическое 327
Расстояние кодовое 278
Расстояние кодовое БЧХ-кода 317
Расстояние кодовое линейного кода 286
Расстояние кодовое, связь с корректирующей способностью 278
Расстояние по Варшамову 280
Расстояние по Хеммингу 277
Рекурсия совместная 181
Сверхслово 223
Сводимость 211
Сводимость полиномиальная 249
Свойство префикса 371
Свойство функций нетривиальное 208
Сжатие информации 369
Сжатие информации, характеристики 370 382
Символ двухэтажный 168
Символ пустой 159
Синдром 293
Синтез абстрактный 16
Синтез блочный 16
Синтез методом декомпозиции 90
Синтез надежностный 17
Синтез структурный 16
Синтез технический 17
Синтеза задача 15
Система подстановок 214
Система подстановок, выводимость 214
Система продукций 218
Система продукций, выводимость 219
Склеивание конъюнкций 70
Склеивание наборов 71
Скорость передачи информации 270 355 387
Слово 10
Слово машинное 215
Сложение логическое 27
Сложность временная 230
Сложность д. н. ф. 82
Сложность ленточная 230
Сложность системы логических функций 54
Сложность схемы без ветвлений 60
Сложность схемы без ветвлений, оценка 64
Сложность схемы для частичной функции 64 108
Сложность схемы из логических элементов 54
Сложность схемы из логических элементов и задержек 148
Сложность схемы из логических элементов, оценка 106
Сообщение 264
Соотношение проверочное 276 291
Состояние автомата 110
Состояние головки 159
Состояние заключительное 160
Состояние начальное 111 163
Состояния совместимые 127
Состояния совместимые, нахождение 128
Сравнение по модулю многочлена 303
Стрелка Пирса 39
Сумма по mod 2 26
Сумматор параллельный 12 50
Сумматор последовательный 12 111
Суперпозиция машин 168
Суперпозиция программ 167
Суперпозиция функций 40 172
Схема 11
Схема без ветвлений 57
Схема без ветвлений, оценка сложности 64
Схема без ветвлений, синтез 60
Схема без ветвлений, сложность 60
Схема из автоматных элементов 150
Схема из автоматных элементов, анализ 154
Схема из автоматных элементов, состояние 154
Схема из логических элементов 51 52
Схема из логических элементов и задержек 136 139
Схема из логических элементов и задержек, оценка сложности 148
Схема из логических элементов и задержек, синтез 143
Схема из логических элементов и задержек, состояние 139
| Схема из логических элементов минимальная 54
Схема из логических элементов самокорректирующаяся 328
Схема из логических элементов, оценка сложности 99 105 106
Схема из логических элементов, оценка числа схем 102
Схема из логических элементов, сложность 52
Схема передачи информации 264
Схема передачи информации, описание в терминах случайных опытов 364
Схема рекурсивная 176
Таблица автомата 112
Таблица автомата частичного 117
Таблица декодирования 269
Таблица импликантная 75
Таблица кодирования 268
Таблица функции k-значной логики 46
Таблица функции логической 25
Таблица функции логической частичной 56 63
Таблица функции логической частичной, доопределение 87
Такт 9
Тезис Чёрча 159
Теорема Блюма 239
Теорема итерационная 204
Теорема Клини 205
Теорема кодирования 357
Теорема Кратко 156 222
Теорема Крафта 372
Теорема Кузнецова 48
Теорема Лупанова 106
Теорема Макмиллана 374
Теорема о неподвижной точке 205
Теорема о функциональной полноте 44
Теорема об убыстрении 239
Теорема Раиса 206
Теорема Шеннона о передаче при наличии помех 356
Теорема Шеннона о сжатии сообщении 383
Тип ошибки 266
Точка неподвижная 203
Умножение логическое 27
Уравнения канонические автомата 111 112
Уравнения канонические схемы 142
Устройство декодирующее 265
Устройство дискретное 9 48
Устройство дискретное автономное 14
Устройство дискретное асинхронное 116
Устройство дискретное без памяти 12 49
Устройство дискретное вероятностное 13
Устройство дискретное детерминированное 13
Устройство дискретное неавтономное 14
Устройство дискретное с бесконечной памятью 12
Устройство дискретное с конечной памятью 12 110
Устройство дискретное с недоопределенными условиями работы 55 117
Устройство дискретное синхронное 116
Устройство дискретное, классификация 12
Устройство дискретное, сложность 17
Устройство дискретное, состояние 9
Устройство кодирующее 265
Формула логическая 27
Формулы эквивалентные 28
Функции исходные 175
Функции исходные, реализация на машине Тьюринга 185
Функции нумерационные 180
Функция k-значной логики 46
Функция k-значной логики, таблица 46
Функция антисигнум 177
Функция булева 25 (см. также «Функция логическая»)
Функция Вебба 48
Функция вогнутая 336
Функция вогнутая, свойства 336
Функция выбора аргумента 175
Функция выходов 111
Функция делимости 179
Функция логическая 25
Функция логическая двойственная 40
Функция логическая линейная 42
Функция логическая монотонная 42
Функция логическая самодвойственная 41
Функция логическая тождественная 26
Функция логическая частичная 55
Функция логическая частичная, доопределение 56
Функция логическая частичная, таблица 56 63
Функция логическая элементарная 27
Функция логическая, геометрическая интерпретация 68
Функция логическая, декомпозиция 85
Функция логическая, константа 26
Функция логическая, разложение по переменным 32
Функция логическая, таблица 25
Функция натурального аргумента 166
Функция натурального аргумента частичная 166
Функция нуль 175
Функция опровержения 235 239
Функция переходов 111
Функция показательно-степенная 176
Функция рекурсивная 175
Функция сигнум 177
Функция следования 173
Функция словарная 163
Функция словарная частичная 163
Функция сложения 176
Функция умножения 176
Функция универсальная для класса 199
Функция характеристическая 206
Функция частично-рекурсивная 175
Функция частично-рекурсивная универсальная 200
Функция частично-рекурсивная, не доопределимая до рекурсивной 203
Функция Шеннона 94 109 148 157
Функция Шеннона для самокорректирующихся схем 329
Функция «остаток от деления» 179
Функция «усеченная разность» 177
Функция «целая часть от деления» 178
Функция, константа 176
Функция, отличная от 0 в конечном числе точек 180
Функция, реализуемая схемой 52
Функция, реализуемая формулой 28
Функция, «двоичная степень» 179
Функция, «модуль разности» 178
Характеристики передачи 354
Характеристики сжатия информации 370 382
Характеристики сложности вычислений 229 244
Цикл 170
Шифр команды 194
Шифр конфигурации 194
Шифр машины 194
Шифр символа 193
Штрих Шеффера 39
Эквивалентность 26
Эквивалентность автоматов инициальных 115
Эквивалентность автоматов неинициальных 115 120
Эквивалентность кодов 275
Эквивалентность моделей алгоритмов 182
Эквивалентность функций, вычислимых на машинах Тьюринга, и частично-рекурсивных 192
Эквивалентные состояния 120
Эквивалентные состояния, нахождение 121
Элемент 11
Элемент автоматный 150
Элемент базисный 51
Элемент задержки 135
Элемент задержки, канонические уравнения 135
Элемент логический 50
Элементарность шагов алгоритма 158
Энтропия 335
Энтропия условная 342
Энтропия, свойства 337
Ячейка 159
|
|
|
| Реклама |
|
|
|
|
|
О проекте