Зведений каталог бібліотек Києва

 

З98
О342Овсяк, Олександр
    Метод і математичне та програмне забезпечення системи ефективного опрацювання формул алгебри алгоритмів [Текст] : автореферат дисертації на здобуття наукового ступеня доктора технічних наук : 01.05.03 / МОН України, Київський національний ун-т ім. Тараса Шевченка. — Київ, 2015. — 37 с.


- Ключові слова:

забезпечення програмне, обеспечение программное, software ; алгоритм, algorithm ; автореферат (текст) ; декомпозиція (розщеплення), декомпозиция (расщепление) ; забезпечення алгоритмічне, обеспечение алгоритмическое ; Техніка, с.г., медицина

- Анотація:

У дисертаційній роботі визначенням алгебри алгоритмів з операцією мультиелімінування і зв'язками між операціями, створенням текстового XML-формату опису формул алгебри алгоритмів і математичного та програмного забезпечення системи комп'ютерного синтезу формул алгебри алгоритмів розв'язано актуальну науково-прикладну проблему розроблення модифікованої алгебри алгоритмів і створення математичного та програмного забезпечення системи ефективного опрацювання формул алгебри алгоритмів.

Алгебра алгоритмів доповнена новими аксіоми операцій секвентування, елімінування, паралелення, інвертування та операцій опису циклів. В алгебру алгоритмів введена операція мультиелімінування та аксіоми з логічними значеннями. Математичне забезпечення системи комп'ютерного опрацювання формул алгебри алгоритмів, граматики текстового опису формул алгоритмів описано модифікованою алгеброю алгоритмів.

- Теми документа

  • ББК науковий // Программное обеспечение глобальных информационных сетей



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету 1 Перейти на сайт