-
Ключові слова:
забезпечення програмне, обеспечение программное, software ; алгоритм, algorithm ; автореферат (текст) ; декомпозиція (розщеплення), декомпозиция (расщепление) ; забезпечення алгоритмічне, обеспечение алгоритмическое ; Техніка, с.г., медицина
-
Анотація:
У дисертаційній роботі визначенням алгебри алгоритмів з операцією мультиелімінування і зв'язками між операціями, створенням текстового XML-формату опису формул алгебри алгоритмів і математичного та програмного забезпечення системи комп'ютерного синтезу формул алгебри алгоритмів розв'язано актуальну науково-прикладну проблему розроблення модифікованої алгебри алгоритмів і створення математичного та програмного забезпечення системи ефективного опрацювання формул алгебри алгоритмів.
Алгебра алгоритмів доповнена новими аксіоми операцій секвентування, елімінування, паралелення, інвертування та операцій опису циклів. В алгебру алгоритмів введена операція мультиелімінування та аксіоми з логічними значеннями. Математичне забезпечення системи комп'ютерного опрацювання формул алгебри алгоритмів, граматики текстового опису формул алгоритмів описано модифікованою алгеброю алгоритмів.
-
Теми документа
-
ББК науковий // Программное обеспечение глобальных информационных сетей
|