Закревский

Логический синтез каскадных схем, Закревский А.Д., 1981.

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

Логические основы проектирования дискретных устройств, Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д., 2007.

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

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

Лазерное разделение изотопов в атомарных парах, Бохан П.А., Бучанов В.В., Закревский Д.Э., 2004.

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