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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Разбиение множества состояний на группы эквивалентных относительно эксперимента длины q      401
Райс      281
Реакция $\Pi$ -машины      398
Реализация релейно-контактных схем      179
Реализация релейно-контактных схем по Хаффману      193
Регулярность представимых событий      241
Регулярные выражения      231
Регулярные выражения, глубина      231
Результат эксперимента      398
Рекурсивная функция      281 282
Рекурсивная функция, представление      282
Рекурсивные действительные числа      491
Рекурсивные последовательности      281
Реле промежуточное      178
Реле электрическое многообмоточное      49
Релейно-контактные схемы      11
Релейно-контактные схемы однотактные      47
Релейно-контактные схемы однотактные, анализ      53
Релейно-контактные схемы однотактные, минимизация      79
Релейно-контактные схемы однотактные, синтез      59
Релейно-контактные схемы, устойчивые (равновесные) состояния      176
Свойства      18
Сеть      140
Сеть без петель      141
Сеть задержек      140
Символ равновесный      199
Синтез конечных автоматов      527
Синтез конечных автоматов при задании регулярных выражений      285
Синтез конечных автоматов при задании соответствий между последовательностями      258
Синтез технических устройств, реализующих машину      160 527
Следствие      441
Слова      435
Слова смежные      436
Слова эквивалентные      437 440
Слова, дедуктивная цепочка      437
Слова, преобразование      436
Собственное разбиение минимальное      351
Собственное разбиение состояний      350
Собственное разбиение, перебор      351
Событие      219
Событие нерегулярное (непредставимое)      247
Событие определенное      233
Событие регулярное      233
Событие рекурсивное      281
Событие, порожденное рекурсивной функцией      281
Совместимые состояния      325
Состояние      92
Состояние начальное      146
Состояние последнее      412
Стрелка Пирса (функция Даггера)      27
Считывающая головка      497
Считывающая головка, стандартное положение      513
Таблица быстрой $\Pi$ -машины      188
Таблица исходная      185
Таблица переходов      186 393
Таблица переходов, сжатие (сокращение)      188
Таблица преобразователя      106
Таблица релейной схемы      190
Таблица соответствия      22
Таблица соответствия общая      23
Такт      87 95
Тактность быстрая      157 175 363
Тактность медленная      157 174 363
Тактность, определяемая сменой входов      174
Тактность, преобразование      175
Тезис Чёрча      306 487 488
Теорема Ауфенкампа      342 346
Теорема Клини вторая      241
Теорема Клини первая      234

Теорема Мура      323 400 401 403
Теорема Мура — Карацубы      412
Теорема Трахтенброта      283
Теория численных      130
Терм      477 478
Техническая реализация      160
Трахтенброт, Б.А.      119 281 529
Триады      105
Триады противоречивые      112
Триады соответствующие      112
Триады упорядоченное множество      105
Триады, лабиринт      241
Триады, путь в лабиринте      242
Триады, регулярное множество цепочек      243
Триггер      370
Триггер пневматический      171
Тьюринг      366 497 527
Функциональная зависимость      12
Функциональный преобразователь      86
Функция      12
Функция n-переменных      15 31
Функция арифметическая      455
Функция арифметическая вычислимая      456
Функция арифметическая вычислимая, пример построения      473
Функция арифметическая элементарная      457
Функция включения      473
Функция общерекурсивная      475 479 483
Функция общерекурсивная явная форма      481
Функция первоначальная      461
Функция примитивно-рекурсивная      462 470
Функция рекурсивная      281 282
Функция следования      460 518
Функция тождества      462 518
Функция Шеффера      27
Функция-константа      25 462 518
Хафмен, Д.      177 180 393
Хон      308 322 389
Цейтин, Г.С.      448 449
Цикл      199
Часы (датчик тактов, сигнализатор тактов)      95 195 366
Чёрч, А.      306 487 523
Шеннон, К.Э.      11
Шестаков, В.И.      11
Штрих Шеффера      27
Эквивалентность $\Pi$ -машин      326 353
Эквивалентность $\Pi$ -машин сильная      326 354
Эквивалентность $\Pi$ -машин сильно связных      412
Эквивалентность $\Pi$ -машин слабая      353 354
Эквивалентность состояний      303
Эквивалентность состояний начальных      353
Эквивалентность состояний относительно множества L последовательностей      305
Эквивалентность состояний при ограничениях на длину входных последовательностей      319
Эквивалентность состояний, алгоритм распознавания при ограничениях на входные последовательности      308
Эквивалентность состояний, алгоритмическая неразрешимость проблемы распознавания      305
Эквивалентность состояний, определение по реакции на эксперименты      400
Эквиваленция      27
Эксперимент      397
Эксперимент кратный      398 407
Эксперимент простой неразветвлённый      398 411 423
Эксперимент простой разветвленный      398 418
Элемент агрегатного набора      149
Элемент задержки      137 162
Эрбран      475 479
Эренфест, П.      11
Эффективное задание событий      280
Язык задания      257
Язык предикатный      284
Язык регулярных выражений      285
Ячейка памяти пневматическая      164

1 2

О проекте