Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов
Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оп...
Збережено в:
| Дата: | 2013 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2013
|
| Назва видання: | Управляющие системы и машины |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/83126 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-83126 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-831262015-06-16T03:44:57Z Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов Овсяк, А.В. Овсяк, В.К. Новые методы в информатике Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оптимизации формул алгоритмов. 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. Для розв’язання задач підвищення ефективності опрацювання структур даних і формул алгоритмів аксіоматичним методом означено алгебри секвенційних алгоритмів першого та другого порядків, застосування яких проілюстровано прикладами. Описано створені ефективні інструментальні засоби комп’ютерного синтезу та оптимізації формул алгоритмів. 2013 Article Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83126 004.421 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Новые методы в информатике Новые методы в информатике |
| spellingShingle |
Новые методы в информатике Новые методы в информатике Овсяк, А.В. Овсяк, В.К. Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов Управляющие системы и машины |
| description |
Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оптимизации формул алгоритмов. |
| format |
Article |
| author |
Овсяк, А.В. Овсяк, В.К. |
| author_facet |
Овсяк, А.В. Овсяк, В.К. |
| author_sort |
Овсяк, А.В. |
| title |
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_short |
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_full |
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_fullStr |
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_full_unstemmed |
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| title_sort |
модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов |
| publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| publishDate |
2013 |
| topic_facet |
Новые методы в информатике |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/83126 |
| citation_txt |
Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов / А.В. Овсяк, В.К. Овсяк // Управляющие системы и машины. — 2013. — № 1. — С. 27-36. — Бібліогр.: 18 назв. — рос. |
| series |
Управляющие системы и машины |
| work_keys_str_mv |
AT ovsâkav modificirovannaâalgebraalgoritmoviinstrumentalʹnyesredstvaobrabotkiformulalgebryalgoritmov AT ovsâkvk modificirovannaâalgebraalgoritmoviinstrumentalʹnyesredstvaobrabotkiformulalgebryalgoritmov |
| first_indexed |
2023-10-18T19:26:07Z |
| last_indexed |
2023-10-18T19:26:07Z |
| _version_ |
1796146943489998848 |