Наукова періодика України Управляющие системы и машины


Овсяк А. В. 
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А. В. Овсяк, В. К. Овсяк // Управляющие системы и машины. - 2013. - № 1. - С. 27-36. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_1_4
Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оптимизации формул алгоритмов.
  Повний текст PDF - 664.132 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Овсяк А.
  • Овсяк В.

  • Бібліографічний опис для цитування:

    Овсяк А. В. Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А. В. Овсяк, В. К. Овсяк // Управляющие системы и машины. - 2013. - № 1. - С. 27-36. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_1_4.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Овсяк Володимир Казимирович (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     

       Всі права захищені © Національна бібліотека України імені В. І. Вернадського