Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
|
|
| Creator |
Цейтлин, Г.Е.
Захария, Л.М. |
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Проведен сопоставительный анализ алгебры алгоритмики и аналогичных направлений – алгебраической алгоритмики и порождающего (ментального) программирования. Отражены общность и специфика проблематики функциональной и аксиоматической полноты. С позиций алгебры алгоритмики трактуются понятия: абстракции, биологии и экологии программистских знаний. ------------------
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. |
|
| Date |
2008-06-04T10:04:32Z
2008-06-04T10:04:32Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Алгеброалгоритмические аспекты полноты / Г.Е. Цейтлин, Л.М. Захария // Пробл. програмув. — 2008. — N 2-3. — С. 31-36. — Бібліогр.: 26 назв. — рус.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/684 004.421 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|