Экзистенциальный базис дескриптивных сред
Создается экзистенциальная платформа дескриптивных сред. На этой основе строятся модели информатико-технологических систем. Проводится прагматико-обусловленная типизация универсума компаундов. Вскрывается компаундная природа средств квантификации и суперпозиции функций....
Збережено в:
| Видавець: | Інститут програмних систем НАН України |
|---|---|
| Дата: | 2008 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/644 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Цитувати: | Экзистенциальный базис дескриптивных сред / И.В. Редько // Пробл. програмув. — 2008. — N 2-3. — С. 15-24. — Бібліогр.: 10 назв. — рус. |