Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
Кратко охарактеризована алгебра алгоритмики и ее прототипов. Демонстрируется трансформационная сводимость структурной схемы алгоритма к неструктурной посредством инструментария трансформации схем алгоритмов и программ....
Gespeichert in:
| Datum: | 2008 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2008
|
| Schlagworte: | |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/1492 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ / А.С. Мохница // Пробл. програмув. — 2008. — N 2-3. — С. 341-347. — Бібліогр.: 13 назв. — рус. |
Institution
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 |