Наукова електронна бібліотека
періодичних видань НАН України

Алгеброалгоритмические аспекты полноты: абстракции, биология и экология

Репозиторій DSpace/Manakin

Показати простий запис статті

dc.contributor.author Цейтлин, Г.Е.
dc.contributor.author Захария, Л.М.
dc.date.accessioned 2008-06-04T10:04:32Z
dc.date.available 2008-06-04T10:04:32Z
dc.date.issued 2008
dc.identifier.citation Алгеброалгоритмические аспекты полноты / Г.Е. Цейтлин, Л.М. Захария // Пробл. програмув. — 2008. — N 2-3. — С. 31-36. — Бібліогр.: 26 назв. — рус. en_US
dc.identifier.issn 1727-4907
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/684
dc.description.abstract Проведен сопоставительный анализ алгебры алгоритмики и аналогичных направлений – алгебраической алгоритмики и порождающего (ментального) программирования. Отражены общность и специфика проблематики функциональной и аксиоматической полноты. С позиций алгебры алгоритмики трактуются понятия: абстракции, биологии и экологии программистских знаний. ------------------ en_US
dc.description.abstract The comparative analysis of algebra of algorithmics and similar directions – algebraic algorithmics and generative (intensional) programming is conducted. Common and specific problems in functional and axiomatic completeness are represented. Algebraic-algorithmic treatment of concepts of abstraction, biology and ecology of programming knowledge is proposed. en_US
dc.language.iso ru en_US
dc.publisher Інститут програмних систем НАН України en_US
dc.subject Теоретичні та методологічні основи програмування en_US
dc.title Алгеброалгоритмические аспекты полноты: абстракции, биология и экология en_US
dc.title.alternative Algebraic-algorithmic aspects of completeness: abstractions, biology and ecology en_US
dc.type Article en_US
dc.status published earlier en_US
dc.identifier.udc 004.421


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис