Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы

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

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

Название: Логика. Автоматы. Алгоритмы

Авторы: Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др.

Аннотация:

Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин.
Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для физиолога и биолога, интересующихся теорией конечных автоматов и последовательностных машин применительно к созданию идеализированных моделей нервных тканей...

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Абстрактная агрегатизация      149
Абстрактная нейронная сеть      151
Абстрактная структура $\Pi$ -машины      211
Абстрактная структура конечного автомата      131
Абстрактная структура конечного автомата логическая      134
Абстрактный синтез      256
Агрегатное построение $\Pi$ -машины      161
Агрегатное построение конечных автоматов      161 178
Аккерман      473
Алгебра логики      37
Алгоритм      432 450 488 496 523
Алгоритм Ауфенкампа (построение псевдоотображения)      341 342 351
Алгоритм Ауфенкампа и Хона (минимизации)      308 324 389
Алгоритм Ауфенкампа и Хона (минимизации), достаточность      312
Алгоритм Ауфенкампа и Хона (минимизации), необходимость      315
Алгоритм в алфавите A      441
Алгоритм в алфавите A эквивалентный      443
Алгоритм воспроизведения $\Pi$ -машины в тактности смены входа (алгоритм размножения состояний)      377 380
Алгоритм Гилла (минимизации)      347
Алгоритм Евклида      427 453
Алгоритм замены группы эквивалентных состояний      329
Алгоритм Квайна      81
Алгоритм логический      428 451
Алгоритм минимизации $\Pi$ -машины      329 334 339
Алгоритм несуществования      449
Алгоритм нормальный      444
Алгоритм перебора подстановок      439
Алгоритм полного перебора (распознавание эквивалентности)      319
Алгоритм построения диаграммы состояний      408
Алгоритм построения эксперимента, отличающего одну машину из множества      420
Алгоритм распознавания      306 453
Алгоритм распознавания выводимости      440
Алгоритм самоприменимый      448
Алгоритм численный      428 451
Алгоритм «стирания стрелок» в диаграмме состояний      357
Алгоритма детерминированность      432
Алгоритма массовость      432
Алгоритма целенаправленность (применимость)      433
Алгоритмическая неразрешимость      448 488
Алгоритмическая неразрешимость, проблемы распознавания самоприменимости      449
Алфавит      15 435
Алфавит выходной      98
Аль Хорезми      427
Ассоциативное исчисление      436
Ауфенкамп      302 308 318 322 340 389
Блох, А.Ш.      61 195
Буквы      435
Буквы функциональные      477
Возвратная кнопка      398
Воспроизведение $\Pi$ -машины      368
Воспроизведение $\Pi$ -машины в тактности смены входа      376
Воспроизведение $\Pi$ -машины, пример      373
Временная зависимость      172
Временной вход      95
Вхождение слов      436
Вывод      477 478
Выводимость      477
Выходной преобразователь      98
Вычисление на машинах Тьюринга      512
Вычислимость элементарных функций      457
Гаврилов, М.А.      12
Гедель      467 475 479
Генерирование периодических последовательностей      198
Гёделизация      451 472
Гилл      347
Глушков, В.М.      234 286 299 300
Граф автономного автомата      101
Граф регулярного выражения      287
Граф регулярного выражения, входящие стрелки      293
Граф регулярного выражения, ложные пути      289
Граф регулярного выражения, пустые стрелки      291
Дерево контактной сети      62
Диаграмма состояний      103
Диаграмма состояний $\varkappa^{\circ}$ -связной машины      408
Диаграмма состояний объединенной $\Pi$ -машины      406
Диаграмма состояний эквивалентной машины      356
Дизъюнктивная нормальная форма      34
Дизъюнктивная нормальная форма минимальная      79
Дизъюнктивная нормальная форма совершенная      34
Дизъюнкция      27
Дискретное время      87
Евклид      427 431
Естественная задержка      171
Задание на проектируемое устройство      257 528
Задание на языке регулярных выражений      285
Задание противоречивое      261
Задание соответствий между последовательностями      258
Задержка на такт      137 162
Задержка на такт пневматическая      164
Замещение $\Pi$ -машин      123
Замещение конечных автоматов      125
Замещение относительное      124
Записывающая головка      497
Записывающая головка, стандартное положение      513
Запрет      27
Изображение $\Pi$ -машин      363 364
Изображение $\Pi$ -машин, пример      370
Импликанты простые      79
Импликация      27
Исключенное ИЛИ      27
Исчисление высказываний      20 440
Исчисление высказываний, алгебра      36
Исчисление предикатов      41 440
Исчисление предикатов узкое      44
Казаков, В.Д.      77
Карацуба      412
Квайн      79 81
Квантор      42
Квантор общности      42
Квантор общности ограниченный      468
Квантор существования      42
Квантор существования ограниченный      468
Клини      228 и д. 284 526 529
Кобринский, Н.Е.      119
Конечная динамическая система      91
Конечные автоматы      92
Конечные автоматы автономные      96 197
Конечные автоматы с выходным преобразователем (с выходом)      98
Конечные автоматы типа $\Pi-H$       92 183
Конечные автоматы типа $\Pi-\Pi$       92 183
Конечные автоматы, агрегатное построение      161
Конечные автоматы, входы      92
Конечные автоматы, итерация      239
Конечные автоматы, объединение      238 406
Конечные автоматы, синтез      527
Конечные автоматы, состояния      92
Конечные автоматы, умножение      238
Конструктивная математика      490
Контактная сеть      50
Контакты нормально-замкнутые      47
Контакты нормально-разомкнутые      47
Контакты эквивалентные      50
Конъюнктивная нормальная форма      34
Конъюнктивная нормальная форма минимальная      81
Конъюнктивная нормальная форма совершенная      34
Конъюнкция      27
Критические состязания в релейно-контактных схемах      179
Кузнецов, О.П.      285
Лабиринт      429
Лабиринт бесконечный      437
Лента $\Pi$ -машины      112
Лента входная      219
Лента конечного автомата      110
Лента машины Тьюринга      496
Лента, заполнение правильное      271
Линия задержки      142 173 373
Логическая функция      15 456
Логическая функция абсолютно минимальная      82
Логическая функция выполнимая      36
Логическая функция неоднородная      41

Логическая функция однородная      16
Логическая функция тождественно истинная      36
Логическая функция тождественно ложная      36
Логический преобразователь      86
Логическое пространство      21
Мак-Каллок      151 152
Марков, А.А.      435 441 444 488
Математическая логика      11
Матрица путей длины q      114
Матрица соединений $\Pi$ -машины      108
Матрица соединений конечного автомата      104
Матрица соединений, возведение в степень      115 319
Матрица соединений, симметричное разбиение      310
Матрица, сокращенная по L      321
Машины Тьюринга      91 366 496
Машины Тьюринга, внутреннее состояние      497
Машины Тьюринга, возведение в степень      508
Машины Тьюринга, итерация      509
Машины Тьюринга, композиция      506
Машины Тьюринга, состояние покоя      492
Машины Тьюринга, умножение      508
Машины Тьюринга, управляющее устройство      497
Мгновенная функция      172
Метод Гёделя      452
Метод Глушкова      286
Метод Глушкова, графическая интерпретация      285
Метод Хаффмана      177 180 394
Мили      100
Минимизация      264 530
Минимизация $\Pi$ -машины      328 329
Минимизация $\Pi$ -машины при ограничениях типа Ауфенкампа      340 347
Минимизация $\Pi$ -машины, работающей как автомат      333
Минимизация воспроизводящей $\Pi$ -машины      383
Минимизация устройств, реализующих логические функции      77
Множества      12
Множества исходные      229
Множества регулярные      229
Множества регулярные входных лент      233
Множества рекурсивно-перечислимые      493
Множества рекурсивные      493
Множества универсальные      229
Множества, итерация      226
Множества, объединение      224
Множества, умножение      224
Мур      100 323 400 401 403 412 418
Набор полный      149 168
Нейрон      151
Нейрон Мак-Каллока и Питтса      151
Нейрон Мак-Каллока и Питтса, возбуждающее окончание      151
Нейрон Мак-Каллока и Питтса, возбуждающий вход      151
Нейрон Мак-Каллока и Питтса, тормозящее окончание      151
Нейрон Мак-Каллока и Питтса, тормозящий вход      151
Нейрон Мак-Каллока и Питтса, условия функционирования      152
Нейронная сеть      151
Нитка входа      130
Новиков, П.С.      435
Номер      452
Номер записи решений      452
Номер записи условий      452
Нормальный алгоритм (Маркова)      444 455
Нормальный алгоритм (Маркова), примеры      445
Обратная связь      52 173
Объединенная $\Pi$ -машина      406
Ограничения на входные последовательности      301
Ограничения на входные последовательности в себе      303
Ограничения на входные последовательности типа Ауфенкампа      302 325 341 395
Ограничения на входные последовательности, переход от одного типа к другому      356
Один-матрица      310
Один-матрица обобщенная      341
Один-матрица, объединение элементов      332
Однотактные схемы на диодах      64
Однотактные схемы на магнитных элементах      68
Однотактные схемы на пневмореле      72
Однотактные схемы на триодах      66
Оператор наименьшего числа      480 520
Оператор наименьшего числа ограниченный      466 469
Операция индукции      520
Операция приписывания символов      117
Операция суперпозиции      520
Основная таблица $\Pi$ -машины      106
Основная таблица конечного автомата      101
Относительная эквивалентность      304
Относительное воспроизведение      368
Относительное изображение      365
Отношения      18
Отображение $\Pi$ -машин      326
Отрицание      25
Оценка длины эксперимента, определяющего последнее состояние      412 414
Оценка длины эксперимента, отличающего одну машину из множества      418
Оценка длины эксперимента, устанавливающего неэквивалентность состояний      401 403 406
Переменная независимая      12
Переменная свободная      467
Переменная связанная      467
Переходный процесс      176
Петер, Р.      437 474 486
Питтс      151 152
Подстановки ориентированные      438
Подстановки, допустимая система      442
Подстановки, схема      462
Последовательностная машина ( $\Pi$ -машина)      97 98
Последовательностная машина ( $\Pi$ -машина) $\varkappa^{\circ}$ -связная      408
Последовательностная машина ( $\Pi$ -машина) автономная      197
Последовательностная машина ( $\Pi$ -машина) минимальная относительно L      328
Последовательностная машина ( $\Pi$ -машина) сильно связная      411
Последовательностная машина ( $\Pi$ -машина) типа $\Pi-H$       99 182
Последовательностная машина ( $\Pi$ -машина) типа $\Pi-\Pi$       99 182
Последовательностная машина ( $\Pi$ -машина), агрегатное построение      161
Последовательностная машина ( $\Pi$ -машина), преобразование      363
Последовательностная машина ( $\Pi$ -машина), синтез      527
Последовательностная машина ( $\Pi$ -машина), синтез двоичной структуры      205
Последовательность входная      110
Последовательность входная, переработка      218
Последовательность выходная      110
Последовательность допустимая      120 302 326
Последовательность ограниченная      301
Последовательность пустая      227
Последовательность рекурсивная      491
Последовательность состояний      110
Последовательность, в конечном счете, периодическая      249
Последовательность, длина      110
Последовательность, сходящаяся рекурсивно      491
Пост, Э.      447 448
Построение машины на устойчивых (равновесных) состояниях      177 178 180 185
Предикаты      17 466
Предикаты арифметические      467
Предикаты двузначные      41
Предикаты двузначные n-местные      41 467
Предикаты двуместные      18
Предикаты одноместные      18
Предикаты примитивно-рекурсивные      467
Предикаты разрешимые      456
Предмет      17
Представимость регулярных событий      234
Представление событий      223
Представляющая функция предиката      467
Преобразование тактности      175 363 364
Примитивно-рекурсивное описание      463
Проблема анализа $\Pi$ -машин      304
Проблема разрешимости      36
Проблема распознавания      256
Проблема распознавания эквивалентности состояний      305
Проблема распознавания, алгоритмическая неразрешимость      281 283
Проблема слов (проблема достижимости)      438
Проблема слов ограниченная      439
Псевдоотображение $\Pi$ -машин      340
Псевдоэквивалентные состояния      325 342
Псевдоэквивалентные состояния группы      325 349
Равенства      477 478
Равенства, определяющая система      479 482
Равнозначность      27

1 2

О проекте