Абсолютно истинное высказывание 15
Абсолютно ложное высказывание 15
Абсолютно надежная система функциональных элементов 22
Абсолютно равносильные формулы логики предикатов 262
Автомат без обратных связей 131 (определение 8.7)
Автомат без обратных связей, реализованный схемой из функциональных элементов 132 (определение 8.8)
Автоматно-полная система однотактных функциональных элементов 137 (определение 8.11)
Аксиомы натурального ряда 269
Алгебра Бернулли 209
Алгоритм преобразования формулы в СДНФ 48 49
Алгоритм преобразования формулы в СКНФ 56 (решение задачи 2.39)
Алгоритм реализации функции контактной схемой при помощи ДНФ 157
Алгоритм реализации функции контактной схемой при помощи КНФ 178 (решение задачи 9.9)
Арифметические операции в алгебре логики 64
Арифметическое сложение (по модулю 2) 64
Асимптотика функции Шеннона 166
Асимптотика функции Шеннона для -схем 167
Базис функций алгебры логики 81 (определение 6.4)
Булева алгебра 37 (определение 2.5)
Булева алгебра высказываний 40
Булева алгебра множеств 39
Булева операция 44 (определение 2.8)
Булева подалгебра 39
Вероятностная булева алгебра 195 (определение 10.1)
Вероятностная мера (вероятность) 195 (определение 10.1)
Вероятностное реле 217 (определение 10.17)
Верхняя асимптотическая оценка для функции Шеннона 166 173
Вершина графа 155
Время задержки автомата без обратных связей 132 (определение 8.7)
Время задержки конечного автомата 135 (определение 8.10)
Вход конечного автомата 135 (определение 8.10)
Вход контактной схемы 155
Высказывание 14
Выход конечного автомата 136 (определение 8.10)
Выход контактной схемы 155
Глобальная суперпозиция 130 (определение 8.6)
Гомоморфизм булевых алгебр 41 (определение 2.6)
Граф 155
Двойные линии 138
Двойственная булева алгебра 42
Двойственная функция алгебры логики 58 (определение 3.1)
Двойственность кванторов 266
Двухполюсник 155
Дизъюнктивная нормальная форма (ДНФ) 46 (определение 2.10)
Дизъюнкция 16
Дизъюнкция альтернативная 17
Дисперсия случайной величины 206 (определение 10.11)
Достаточное условие универсальной надежности 224
Достаточные условия минимальности контактных схем 180 (решение задачи 9.13) 181
Задача о поведении автомата в случайной среде 215
Задержка правильной схемы из функциональных элементов 226 (определение 8.4)
Закон двойственности 59
Закон преобразования канала Бернулли 213
Законы де Моргана 35 36 (2.9))
Законы поглощения 51 (формулы (2.20) (2.21))
Изоморфизм булевых алгебр 41 (определение 2.6)
Импликация 18
Индекс автомата без обратных связей 132 (определение 8.3)
Индивидуальный предикат 262
Индикатор события 207
Испытания (схема) Бернулли 208
Истинностная таблица 15 31
Истинностное значение 14
Канал Бернулли 213
Квантор всеобщности 260
Квантор по предикатной переменной 268
Квантор существования 260
Конечный автомат 135 (определение 8.10)
Контактная схема 155
Конъюнктивная нормальная форма (КНФ) 49 (определение 2.15)
Конъюнкция 15
Критерий h-полноты при наличии абсолютно надежных констант 229 (указание к задаче 10.36)
Критерий h-полноты системы ненадежных элементов 225
Критерий автоматной полноты 137 (задача 8.18)
Критерий полноты системы однотактных функциональных элементов 140 (указание к задаче 8.11)
Критерий полноты системы функций алгебры логики (теорема Поста) 83
Критерий полноты системы функций относительно глобальной суперпозиции 141 (указание к задаче 8.13)
Критерий полноты системы функций относительно расширенной суперпозиции 104 (указание к задаче 7.2)
Критерий полноты системы функций относительно сокращающей суперпозиции 141 (указание к задаче 8.14)
Критерий самодвойственной полноты 100 (задача 7.15)
Критерий самодвойственной полноты для расширенной суперпозиции 105 (указание к задаче 7.15)
Критерий слабой автоматной полноты 133 (задача 8.16)
Критерий того, что соединение функциональных элементов является схемой 124 (задача 8.3)
Критерий универсальной надёжности 225
Линейная функция 65 (определение 4.2)
Логическая связка (операция) 25 44
Максимальный функционально замкнутый класс в k-значной логике 249
Математическое ожидание (среднее значение) случайной величины 204 (определение 10.9)
Минимальная схема 159
Минимальный базис функций алгебры логики 84 (определение 6.6)
Монотонная функция алгебры логики 71 (определение 5.2)
Наследственное свойство 80
Независимые случайные величины 208 (определение 10.13)
Независимые события 197 (определение 10.5) 199
Немонотонная функция алгебры логики 74 (решение задачи 5.1)
Неравенство Чебышева 206
Несамодвойственная функция алгебры логики 61 (решение задачи 3
Несовместимые события 196 (определение 10.2)
Нижняя асимптотическая оценка для функции Шеннона 173 (указание к задаче 9.26)
Нормальная форма формулы логики предикатов 267
Обобщенная функция Шеффера 84 (определение 6.7)
Обратная связь в схеме из функциональных элементов 123 (определение 8.3)
| Ограниченный квантор 267
Отрицание (логическая операция) 16
Память конечного автомата 135 (определение 8.10)
Параллельно-последовательная схема ( -схема) 159
Переключательная схема 168
Полином Бернштейна для непрерывной функции на [0,1] 211 (определение 10.15)
Полином Бернштейна, соответствующий функции алгебры логики 212
Полином Жегалкина 65 (определение 4.1)
Полная система несовместимых событий 197 (определение 10.4)
Полная система однотактных функциональных элементов 128 (определение 8.5)
Полная система функций алгебры логики 79 (определение 6.1)
Полная элементарная дизъюнкция 50 (определение 2.17)
Полная элементарная конъюнкция 46 (определение 2.12)
Постовская схема функционально замкнутых классов 103
Почти нормальная форма формулы логики предикатов 266
Правильная ДНФ для монотонной функции 73 (определение 5.3)
Правильная КНФ для монотонной функции 77 (решение задачи 5.13)
Правильная схема из однотактных функциональных элементов 126 (определение 8.4)
Правильная элементарная дизъюнкция 49 (определение 2.16)
Правильная элементарная конъюнкция 46 (определение 2.11)
Предикат 259 (определение 12.1)
Предметная область 259 (определение 12.1)
Предметная переменная 259 (определение 12.1)
Предполные классы в трехзначной логике 250
Предполный функционально замкнутый класс 82 (определение 6
Произведение случайных величин 207 (определение 10.12)
Прямое произведение булевых алгебр 52
Прямое произведение множеств 259
Равносильность формул алгебры высказываний 23
Равносильность формул логики предикатов 262
Равносильность функций алгебры логики 32 (определение 2.2)
Разделительный (1, m)-полюсник 163
Расширенная суперпозиция 95 (определение 7.1)
Ребра графа 155
Регулярная булева алгебра 44 (определение 2.7)
Реле с замыкающим (положительным) контактом 152
Реле с размыкающим (отрицательным) контактом 151
Релейно-контактная схема 151
Самодвойственная полнота 98 (определение 7.5)
Самодвойственная функция алгебры логики 58 (определение 3.1)
Свободная Булева алгебра 198
Свободная переменная в формуле логики предикатов 261
Связанная переменная в формуле логики предикатов 261
Сигнатура 262
Система аксиом 269
Система элементарных событий 200 (определение 10.7)
Ситуация 14
Слабая автоматная полнота системы функциональных элементов 133 (определение 8.9)
Случайная величина 203 (определение 10.8)
Собственный функционально замкнутый класс 81 (определение 6.3)
Событие 195
Совершенная дизъюнктивная нормальная форма (СДНФ) 26 46
Совершенная дизъюнктивная нормальная форма в k-значной логике 246
Совершенная дизъюнктивная нормальная форма по части переменных 47 (формула 2.16)
Совершенная конъюнктивная нормальная форма (СКНФ) 26 50
Совершенная конъюнктивная нормальная форма по части переменных 50 (формула 2.19)
Сокращающая подстановка 130 (задача 8.14)
Среднее число положительных исходов 209
Сумма случайных величин 205 (определение 10.10)
Сумматор 169
Суперпозиция 33 (определение 2.3)
Существенная цепь контактной схемы 157
Существенное вхождение простого высказывания в сложное 27 (указание к задаче 1.9)
Схема из функциональных элементов 120 (определение 8.1)
Сходимость последовательности случайных величин по вероятности 210 (определение 10
Таблица Поста 83
Теорема Мура — Шеннона 219
Теорема Поста 83
Теоретико-множественная операция 43
Тождественная истина 17
Тождественная ложь 17
Универсально надежная система функциональных элементов 223
Универсальный -полюсник 162
Уравнение состояний конечного автомата 136
Условная вероятность 197 (определение 10.3)
Фиктивная переменная 33
Фиктивное вхождение простого высказывания в сложное 27 (указание к задаче 1.10)
Фиктивный вход функционального элемента 121 (определение 8.2)
Формула алгебры логики 22 34
Формула логики предикатов 261
Функционально замкнутые классы 197 (определение 7.3)
Функционально замкнутые классы 100 (определение 7.6)
Функционально замкнутые классы 104
Функционально замкнутый класс 80 (определение 6.2)
Функциональный элемент 118
Функция алгебры логики 31 (определение 2.1)
Функция проводимости контактной схемы 156
Функция Шеннона 161
Функция Шеннона k-значной логики 245 (определение 11.1)
Функция Шеннона для -схем 161
Функция Шеннона Шеффера — Вебба в k-значной логике 247
Функция, реализуемая правильной схемой из однотактных функциональных элементов 126
Функция, реализуемая релейно-контактной схемой 153
Характеристическая функция автомата без обратных связей 132 (определение 8.7)
Цикл в схеме из функциональных элементов 123 (определение 8.3)
Шеффера операции 24
Эквивалентность (логическая операция) 21
Эквивалентные функциональные элементы 121
Элемент задержки 126
Элементарная дизъюнкция 49 (определение 2.14)
Элементарная конъюнкция 46 (определение 2.9)
«Мостик» 159
|