Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов
|
|
| Creator |
Овсяк, А.В.
Овсяк, В.К. |
|
| Subject |
Новые методы в информатике
|
|
| Description |
Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оптимизации формул алгоритмов.
The algebra of sequential algorithms of the first and second order are defined to solve the problems of improvement of the efficiency in processing the data structures and the formulas of algorithms by means of the axiomatic method. The application of the algebras is illustrated by means of the examples. The derived effective tools of computer aided synthesis and the optimization of formulas of algorithms are briefly described. Для розв’язання задач підвищення ефективності опрацювання структур даних і формул алгоритмів аксіоматичним методом означено алгебри секвенційних алгоритмів першого та другого порядків, застосування яких проілюстровано прикладами. Описано створені ефективні інструментальні засоби комп’ютерного синтезу та оптимізації формул алгоритмів. |
|
| Date |
2015-06-15T14:44:02Z
2015-06-15T14:44:02Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос.
0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83126 004.421 |
|
| Language |
ru
|
|
| Relation |
Управляющие системы и машины
|
|
| Publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
|
|