Проаналізовано методи формалізації алгоритмів. Висвітлено теорію секвенційних алгоритмів. Описано методи синтезу алгоритмів, оптимізації та дослідження формул алгоритмів.

Алгеброю алгоритмів описано модель графічного вікна задання параметрів складених унітермів. Наведено програмну реалізацію моделі.

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

Синтезовано абстрактний алгоритм і його модель для знаходження шляхів доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів.

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

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

Засобами алгебри секвенційних алгоритмів описано розроблені синтаксис і семантику мови опису завдань на створення бази даних.

Засобами алгебри алгоритмів описано модель побудови системи типових графічних унітермів, призначених для конвертації абстрактного унітерма.

Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних і наявності тільки одного індексу порядку, доведено зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів.

Описано етапи синтезу, оптимізації та дослідження математичних моделей алгоритмічної складової автоматів за допомогою методу алгебри алгоритмів, декомпозиції та математичної індукції.

Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оптимизации формул алгоритмов.

Індекс рубрикатора НБУВ: З970.611

Рубрики:

Реляційні бази даних

Шифр НБУВ: Ж29409/А Пошук видання у каталогах НБУВ 

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

Розглянуто задачу опису операцій реляційної алгебри засобами алгебри алгоритмів. Розроблено систему позначень допоміжних операторів та операцій.

Описано моделі підсистем конструктора та глобальних змінних декомпозованої моделі інструментальних засобів комп'ютерного синтезу завдань на генерування баз даних з формул алгебри алгоритмів.

Несуперечність алгебри секвенційних алгоритмів (АСА), за умов логічних значень змінних і функціональних змінних і наявності тільки одного індексу порядку, доведено зведенням операцій АСА до операцій несуперечної логіки предикатів.