Частично определенные логические системы и алгоритмы
Информатика Аспирантура Бакалавриат Магистратура Специалитет
Характеристики
2013 год • 343 страниц • 2.9 MB
Издательство Белорусский национальный технический университет
ISBN 978-985-550-179-5
Описание
Исследованы фундаментальные основы построения компьютерных программ и цифровых устройств в не полностью специфицированных областях. Предложена теория, являющаяся базисом для спецификации, моделирования, преобразования, синтеза, распараллеливания, верификации и оптимизации частично определенных логических систем и алгоритмов. Издание ориентировано на подготовку научных кадров, аспирантов, магистрантов и инженеров по соответствующим учебным и научным специальностям.
