Расширенная алгебра алгоритмов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Расширенная алгебра алгоритмов
|
|
| Creator |
Акуловский, В.Г.
|
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Предложен формальный аппарат (расширенная система алгоритмических алгебр), ориентированный на детальную разработку алгоритмов с учетом особенностей языка, на котором будет реализован алгоритм, с использованием трехзначной логики и декларативных знаний совместно с процедурными. Показаны возможности формального преобразования алгоритмов и построения производных алгоритмических конструкций. Приведены примеры использования формального аппарата.
|
|
| Date |
2008-02-22T19:19:07Z
2008-02-22T19:19:07Z 2007 |
|
| Type |
Article
|
|
| Identifier |
Расширенная алгебра алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2007. — N 3. — С. 3-15. — Библиогр.: 12 назв. — рус.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/296 |
|
| Language |
ru
|
|
| Relation |
№3
С. 3-15 |
|
| Publisher |
Інститут програмних систем, журнал "Проблеми програмування"
|
|