Обложка Закревский А.Д. Логический синтез каскадных схем
Id: 116062
999 руб.

Логический синтез каскадных схем

1981. 416 с. Букинист. Состояние: 4+. Есть погашенная печать расформированной библиотеки.
  • Твердый переплет

Аннотация

Книга посвящена важным проблемам современной вычислительной техники. Излагаются вопросы логического проектирования каскадных схем (в частности," программируемых логических матриц) --- широкого класса дискретных устройств, порожденного технологией больших интегральных схем. Описываются эффективные методы решения разнообразных задач анализа и синтеза этих устройств. В их основе лежат матричное представление структуры устройств и векторно-матричная ...(Подробнее)интерпретация некоторых разделов булевой алгебры. Особое внимание уделяется реализации предлагаемых алгоритмов на ЭВМ.

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


Об авторе
Закревский Аркадий Дмитриевич
Известный ученый, специалист в области технической кибернетики и информатики. Член-корреспондент Национальной академии наук Беларуси с 1972 г., доктор технических наук (1967), профессор (1969). Окончил Томский государственный университет (1956). С 1959 по 1971 гг. работал в этом университете; был заведующим кафедрой математической логики и программирования. В 1971–1994 гг. заведующий лабораторией логического проектирования. С 1994 г. главный научный сотрудник Института технической кибернетики Национальной академии наук Беларуси, одновременно профессор Белорусского государственного университета информатики и радиоэлектроники. Последнее место работы: Объединенный институт проблем информатики НАН Беларуси (главный научный сотрудник).

Автор работ по теории автоматов, системному программированию, логико-комбинаторным методам в технике и информатике. Предложил язык программирования логических задач ЛЯПАС, на базе которого была создана серия систем автоматизированного проектирования дискретных устройств. Разработал серию практически эффективных алгоритмов минимизации булевых функций и систем, решения больших систем логических уравнений и переопределенных систем линейных логических уравнений с приложениями в логическом синтезе и защите информации. Автор более 400 научных работ, в том числе 11 монографий.