Расширенная алгебра алгоритмов

dc.contributor.author	Акуловский, В.Г.
dc.date.accessioned	2008-02-22T19:19:07Z
dc.date.available	2008-02-22T19:19:07Z
dc.date.issued	2007
dc.identifier.citation	Расширенная алгебра алгоритмов / В.Г. Акуловский // Пробл. програмув. — 2007. — N 3. — С. 3-15. — Библиогр.: 12 назв. — рус.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/296
dc.description.abstract	Предложен формальный аппарат (расширенная система алгоритмических алгебр), ориентированный на детальную разработку алгоритмов с учетом особенностей языка, на котором будет реализован алгоритм, с использованием трехзначной логики и декларативных знаний совместно с процедурными. Показаны возможности формального преобразования алгоритмов и построения производных алгоритмических конструкций. Приведены примеры использования формального аппарата.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем, журнал "Проблеми програмування"	en_US
dc.relation.ispartofseries	№3	en_US
dc.relation.ispartofseries	С. 3-15	en_US
dc.subject	Теоретичні та методологічні основи програмування	en_US
dc.title	Расширенная алгебра алгоритмов	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US