Гиндикин С.Г. — Алгебра логики в задачах :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Гиндикин С.Г. — Алгебра логики в задачах

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Алгебра логики в задачах

Автор: Гиндикин С.Г.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1972

Количество страниц: 288

Добавлена в каталог: 21.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Абсолютно истинное высказывание      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
Асимптотика функции Шеннона для $\Pi$ -схем      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)
Параллельно-последовательная схема ( $\Pi$ -схема)      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
Функционально замкнутые классы $\mathbf D, \mathbf D^{01}, \mathbf K, \mathbf K^{01}$       197 (определение 7.3)
Функционально замкнутые классы $\mathbf F^{(2)}, \mathbf G^{(2)}$       100 (определение 7.6)
Функционально замкнутые классы $\mathbf F^{(k)}, \mathbf F^{(\infty)}, \mathbf G^{(k)}, \mathbf G^{(\infty)}, \mathbf O$       104
Функционально замкнутый класс      80 (определение 6.2)
Функциональный элемент      118
Функция алгебры логики      31 (определение 2.1)
Функция проводимости контактной схемы      156
Функция Шеннона      161
Функция Шеннона k-значной логики      245 (определение 11.1)
Функция Шеннона для $\Pi$ -схем      161
Функция Шеннона Шеффера — Вебба в k-значной логике      247
Функция, реализуемая правильной схемой из однотактных функциональных элементов      126
Функция, реализуемая релейно-контактной схемой      153
Характеристическая функция автомата без обратных связей      132 (определение 8.7)
Цикл в схеме из функциональных элементов      123 (определение 8.3)
Шеффера операции      24
Эквивалентность (логическая операция)      21
Эквивалентные функциональные элементы      121
Элемент задержки      126
Элементарная дизъюнкция      49 (определение 2.14)
Элементарная конъюнкция      46 (определение 2.9)
«Мостик»      159

О проекте