Б 59 Бибило, Петр Николаевич. Синтез комбинационных схем методами функциональной декомпозиции [Текст] : научное издание / П. Н. Бибило, С. В. Енин ; ред. А. Д. Закревский ; ИТК АН БССР. - Минск : Наука и техника, 1987. - 191 с. : ил. ; 21см. - 1680 экз.. - 1.30 р.
Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СХЕМЫ -- БАЗОВЫЕ МИКРОСХЕМЫ -- ДИСКРЕТНЫЕ УСТРОЙСТВА Доп.точки доступа: Енин, Сергей Васильевич; Закревский, А. Д. \ред.\; АН БССР. Институт технической кибернетики ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
З-20 Закревский, А. Д. Алгоритмы синтеза дискретных автоматов [Текст] : монография / А.Д. Закревский. - Москва : Наука, 1971. - 511 с. : ил ; 21 см. - (Теоретические основы технической кибернетики). - Библиогр.: с. 502. - Предм. указ.: с. 505. - 3 800 экз.. - (в пер.) : 1.89 р.
Кл.слова (ненормированные): язык ЛЯПАС%вопросы отладки Аннотация: Книга посвящена проблеме автоматизации синтеза дискретных автоматов, решаемой на базе системы автоматического программирования, в основу которой положен алгоритмический язык ЛЯПАС (логический язык представления алгоритмов синтеза). Книга содержит детальное и достаточно популярное описание языка ЛЯПАС. Излагается методика программирования в языке ЛЯПАС, а также вопросы отладки программ и экспериментально-статистического определения их эффективности, благодаря чему данная книга может служить первым учебным пособием по программированию в языке ЛЯПАС. Основная по объему часть книги занята изложением алгоритмов решения некоторых типичных для теории синтеза задач: решение систем логических уравнений, минимизации булевых функций, нахождение кратчайших покрытий булевых матриц и др. Свободных экз. нет |
П 78 Проблемы синтеза цифровых автоматов [Текст] / ред. В. Г. Лазарев. - Москва : Издательство "Наука" , 1967. - 149 с. : ил. ; 26.5см. - 3000 экз.. - 0.82 р.
Доп.точки доступа: Лазарев, В. Г. \ред.\; Закревский, А.Д. ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
С 38 Синтез асинхронных автоматов на ЭВМ [Текст] : научное издание / А. Д. Закревский [и др.] ; под общ. ред. чл.-кор. АН БССР А. Д. Закревского. - Минск : Наука и техника, 1975. - 184 с. : табл., рис. ; 21.5см. - Библиогр.: с. 180-182 (46 назв.). - 1750 экз.. - (в пер.) : 1.02 р. Авт. указ. на обороте тит. л. Содержание: Введение в проблему автоматизации синтеза Минимизация числа состояний асинхронного автомата Противогоночное кодирование внутренних состояний автомата Минимизация системы булевых функций Построение логической схемы автомата из элементов И - НЕ, И - ИЛИ - НЕ Разбиение и покрытие схем Система АВТОМАТ-74 и работа с нею
Доп.точки доступа: Закревский, Аркадий Дмитриевич; Балаклей, Лариса Ильинична; Елисеева, Наталья Александровна; Оранов, Александр Михайлович; Поттосин, Юрий Васильевич; Торопов, Николай Романович; Черемисинова, Людмила Дмитриевна; Янковская, Анна Ефимовна; Закревский, А. Д. \под общ. ред.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Т 18 Танаев, Вячеслав Сергеевич. Синтез граф-схем алгоритмов выбора решений [] : научное издание / В. С. Танаев, М. П. Поварич ; под ред. А. Д. Закревского ; Акад. наук БССР, Ин-т техн. кибернетики. - Минск : Наука и техника, 1974. - 112 с. : ил. ; 21см. - 4350 экз.. - 0.45 р. Рубрики: теория полезности и принятия решений Кл.слова (ненормированные): алгоритмизация -- теория графов -- принятие решений Доп.точки доступа: Поварич, Михаил Петрович; Закревский, А. Д. \под ред.\; Академия наук Белорусской ССР; Институт технической кибернетики ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
У 84 Уткин , А. А. Анализ логических сетей и техника булевых вычислений [Текст] / А. А. Уткин ; ред. А. Д. Закревский. - Минск : Наука и техника, 1979. - 152 с. : ил. ; 21см. - 1850 экз.. - 1 р. Рубрики: Вычислительная техника--Автоматика и телемеханика Доп.точки доступа: Закревский, А.Д. \ред.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Л 36 Левин, Генрих Моисеевич. Декомпозиционные методы оптимизации проектных решений [Текст] : научное издание / Г. М. Левин, В. С. Танаев; под ред. А. Д. Закревского ; Ин-т техн. кибернетики АН БССР. - Минск : Наука и техника, 1978. - 240 с. : табл., рис. ; 22см. - Библиогр.: с. 229-236 (168 назв.). - 1450 экз.. - (в пер.) : 1.80 р. Содержание: Операционные модели в процессах принятия проектных решений Некоторые декомпозиционные подходы к решению задач математического программирования Параметрическая декомпозиция экстремальных задач Оптимизация функций, рекуррентно заданных на множествах перестановок Некоторые вопросы оптимизации дискретных технологических процессов сложной структуры Определение оптимальных режимов одноинструментальной обработки Определение оптимальных режимов многоинструментальной обработки Рубрики: оптимизация проектных решений оптимізація проектних рішень Доп.точки доступа: Танаев, Вячеслав Сергеевич; Закревский, А. Д. \под ред.\; Ин-т техн. кибернетики АН БССР ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |