Обложка Закревский А.Д. Логические уравнения
Id: 280997
399 руб.

Логические уравнения. Изд. 1

1975. 96 с. Букинист. Состояние: 4.
  • Мягкая обложка

Аннотация

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


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

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