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

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

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

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

Цейтлин, Г.Е. ; Захария, Л.М.
Інші назви: Algebraic-algorithmic aspects of completeness: abstractions, biology and ecology
Тема: Теоретичні та методологічні основи програмування
УДК: 004.421
URI: http://dspace.nbuv.gov.ua/handle/123456789/684
Посилання: Алгеброалгоритмические аспекты полноты / Г.Е. Цейтлин, Л.М. Захария // Пробл. програмув. — 2008. — N 2-3. — С. 31-36. — Бібліогр.: 26 назв. — рус.
Дата: 2008
Переглядів: 1099
Завантажень: 865
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология

Анотація:

 
Проведен сопоставительный анализ алгебры алгоритмики и аналогичных направлений – алгебраической алгоритмики и порождающего (ментального) программирования. Отражены общность и специфика проблематики функциональной и аксиоматической полноты. С позиций алгебры алгоритмики трактуются понятия: абстракции, биологии и экологии программистских знаний. ------------------
 
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.
 

Показати повний запис статті

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

Icon
Name: #1_D31-c31.pdf
Розмір: 172.5Кб
Формат: PDF
Перегляд/Відкрити

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

Пошук


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

Перегляд

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