Сводный каталог книг

[Текст] : монография / А. Д. Закревский ; Нац. акад. наук Беларуси, Объед. ин-т проблем информатики. - 2-е изд., стер. - Москва : Едиториал УРСС, 2003. - 200 с. : ил. - Библиогр.: с. 187-193. - Предм. указ.: с. 194-200. - ISBN 5-354-00501-9 : 117.50 р.

УДК

510.6^V3

ББК З965.7-01с512 + З815

Аннотация: Параллелизм и асинхронность - характерные свойства алгоритмов логического управления взаимодействующими процессами. С разработки таких алгоритмов начинается проектирование разнообразных управляющих устройств в вычислительных машинах, станочных линиях, робототехнических комплексах. В книге рассматриваютсся задачи описания алгоритмов логического управления, их верификации и технической реализации. Они решаются на основе оригинальной формальной модели, сочетающей достоинства аппарата сетей Петри, обеспечивающего проверку корректности алгоритмов, и теории дискретных автоматов, привлекаемой при логическом проектировании управляющих устройств. Книга предназначена для студентов, аспирантов и специалистов в области логического проектирования, теории параллельных процессов, управления в технических системах.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Монография / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. - Москва : Физматлит, 2007. - 592 с. : ил. - (Математика. Прикладная математика). - Предм. указ.: с. 584-589. - Библиогр.: с. 581-583. - ISBN 978-5-9221-0811-9 : 375.00 р.

УДК	004.94:519.1^V3

ББК З965.6

Аннотация: Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важны с точки зрения технических приложений. Предназначена для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Поттосин, Юрий Васильевич; Черемисинова, Людмила Дмитриевна
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)