Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов
Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оп...
Saved in:
| Published in: | Управляющие системы и машины |
|---|---|
| Date: | 2013 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83126 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862588223712133120 |
|---|---|
| author | Овсяк, А.В. Овсяк, В.К. |
| author_facet | Овсяк, А.В. Овсяк, В.К. |
| citation_txt | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| 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.
Для розв’язання задач підвищення ефективності опрацювання структур даних і формул алгоритмів аксіоматичним методом означено алгебри секвенційних алгоритмів першого та другого порядків, застосування яких проілюстровано прикладами. Описано створені ефективні інструментальні засоби комп’ютерного синтезу та оптимізації формул алгоритмів.
|
| first_indexed | 2025-11-27T01:20:14Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83126 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | Russian |
| last_indexed | 2025-11-27T01:20:14Z |
| publishDate | 2013 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| record_format | dspace |
| spelling | Овсяк, А.В. Овсяк, В.К. 2015-06-15T14:44:02Z 2015-06-15T14:44:02Z 2013 Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/83126 004.421 Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оптимизации формул алгоритмов. 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. Для розв’язання задач підвищення ефективності опрацювання структур даних і формул алгоритмів аксіоматичним методом означено алгебри секвенційних алгоритмів першого та другого порядків, застосування яких проілюстровано прикладами. Описано створені ефективні інструментальні засоби комп’ютерного синтезу та оптимізації формул алгоритмів. ru Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Новые методы в информатике Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов The Modified Algebra of Algorithms and Tools for Processing the Formulas of the Algebra of Algorithms Модифікована алгебра алгоритмів та інструментальні засоби обробки формул алгебри алгоритмів Article published earlier |
| spellingShingle | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов Овсяк, А.В. Овсяк, В.К. Новые методы в информатике |
| title | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_alt | The Modified Algebra of Algorithms and Tools for Processing the Formulas of the Algebra of Algorithms Модифікована алгебра алгоритмів та інструментальні засоби обробки формул алгебри алгоритмів |
| title_full | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_fullStr | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_full_unstemmed | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_short | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_sort | модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| topic | Новые методы в информатике |
| topic_facet | Новые методы в информатике |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83126 |
| work_keys_str_mv | AT ovsâkav modificirovannaâalgebraalgoritmoviinstrumentalʹnyesredstvaobrabotkiformulalgebryalgoritmov AT ovsâkvk modificirovannaâalgebraalgoritmoviinstrumentalʹnyesredstvaobrabotkiformulalgebryalgoritmov AT ovsâkav themodifiedalgebraofalgorithmsandtoolsforprocessingtheformulasofthealgebraofalgorithms AT ovsâkvk themodifiedalgebraofalgorithmsandtoolsforprocessingtheformulasofthealgebraofalgorithms AT ovsâkav modifíkovanaalgebraalgoritmívtaínstrumentalʹnízasobiobrobkiformulalgebrialgoritmív AT ovsâkvk modifíkovanaalgebraalgoritmívtaínstrumentalʹnízasobiobrobkiformulalgebrialgoritmív |