Алгоритмы синтеза дискретных автоматов
Серия: Теоретические основы технической кибернетики.
Автор:
Закревский А. Д.
(1)
Издательство: Наука.
Место издания: Москва
Тип переплёта: твёрдый
Год издания: 1971
Формат: Стандартный
Состояние: Хорошее. Владельческая надпись на форзаце, небольшая загрязненность обложки.
Количество страниц: 512 с.
На остатке: 1
250 р.
Аннотация
Посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Содержит детальное и достаточно популярное описание языка ЛЯПАС. Излагается методика программирования в языке ЛЯПАС, а также вопросы отладки составленных программ и экспериментально-статистического определения их эффективности, благодаря чему данная книга может служить первым учебным пособием по программированию в языке ЛЯПАС. Изложены алгоритмы решения некоторых типичных для теории синтеза задач решения некоторых типичных для теории синтеза задач: решение систем логических уравнений, минимизация булевых функций, нахождение кратчайших покрытий булевых матриц и др.
(1883 продаж с 2019 г.)
Почтовый идентификатор:
- высылается всегда
Дополнительные сканы и фото:
- Не высылаются
Торг по цене:
- не возможен
Хранение неоплаченных заказов:
- 3 (дней)
Аннотация
Посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Содержит детальное и достаточно популярное описание языка ЛЯПАС. Излагается методика программирования в языке ЛЯПАС, а также вопросы отладки составленных программ и экспериментально-статистического определения их эффективности, благодаря чему данная книга может служить первым учебным пособием по программированию в языке ЛЯПАС. Изложены алгоритмы решения некоторых типичных для теории синтеза задач решения некоторых типичных для теории синтеза задач: решение систем логических уравнений, минимизация булевых функций, нахождение кратчайших покрытий булевых матриц и др.
Аналогичные книги смотрите в разделах: