Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
Кратко охарактеризована алгебра алгоритмики и ее прототипов. Демонстрируется трансформационная сводимость структурной схемы алгоритма к неструктурной посредством инструментария трансформации схем алгоритмов и программ....
Збережено в:
| Дата: | 2008 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1492 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ / А.С. Мохница // Пробл. програмув. — 2008. — N 2-3. — С. 341-347. — Бібліогр.: 13 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-1492 |
|---|---|
| record_format |
dspace |
| fulltext |
|
| spelling |
irk-123456789-14922008-08-01T12:01:33Z Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ Мохница, А.С. Формальні методи програмування Кратко охарактеризована алгебра алгоритмики и ее прототипов. Демонстрируется трансформационная сводимость структурной схемы алгоритма к неструктурной посредством инструментария трансформации схем алгоритмов и программ. The brief characteristics of algebra algorithmics and its prototypes is given. Transformational reduceness of structural schema of algorithm to nonstructural using the toolkit for transformation of schemas of algorithms and programs is demonstrated. 2008 Article Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ / А.С. Мохница // Пробл. програмув. — 2008. — N 2-3. — С. 341-347. — Бібліогр.: 13 назв. — рус. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1492 681.3 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 |
2008 |
| topic_facet |
Формальні методи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1492 |
| citation_txt |
Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ / А.С. Мохница // Пробл. програмув. — 2008. — N 2-3. — С. 341-347. — Бібліогр.: 13 назв. — рус. |
| work_keys_str_mv |
AT mohnicaas algebraalgoritmikiitransformacionnaâsvodimostʹshemalgoritmoviprogramm |
| first_indexed |
2025-07-02T04:55:30Z |
| last_indexed |
2025-07-02T04:55:30Z |
| _version_ |
1836509697630273536 |