Интенсиональные основания дескриптивных сред
Строится интенсиональный базис дескриптивных сред. Вскрываются теоретико-множественные и статико-интеграционные предпосылки таких сред. Строятся динамико-статические основания дескриптивных сред. The intensional basis of the descriptive environments are created. The set-theoretical and static-integ...
Saved in:
| Date: | 2006 |
|---|---|
| Main Author: | Редько, И.В. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1531 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Интенсиональные основания дескриптивных сред / И.В Редько // Проблеми програмування. — 2006. — N 2-3. — С. 81-85. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Экзистенциальный базис дескриптивных сред
by: Редько, И.В.
Published: (2008)
by: Редько, И.В.
Published: (2008)
Дефинитологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2012)
by: Редько, В.Н., et al.
Published: (2012)
Дескриптологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2010)
by: Редько, В.Н., et al.
Published: (2010)
Программологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2008)
by: Редько, В.Н., et al.
Published: (2008)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
by: Резниченко, В.А., et al.
Published: (2016)
by: Резниченко, В.А., et al.
Published: (2016)
Дескриптивные системы: концептуальный базис
by: Редько, В.Н., et al.
Published: (2006)
by: Редько, В.Н., et al.
Published: (2006)
Открыто-замкнутые основания сред интеграции. Часть I
by: Редько, И.В.
Published: (2010)
by: Редько, И.В.
Published: (2010)
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
by: Шинкаренко, В.И.
Published: (2006)
by: Шинкаренко, В.И.
Published: (2006)
Функциональная эффективность нечетко специфицированных алгоритмов
by: Шинкаренко, В.И.
Published: (2006)
by: Шинкаренко, В.И.
Published: (2006)
Конструктивное представление множественных объектов и их свойства
by: Ильман, В.М., et al.
Published: (2014)
by: Ильман, В.М., et al.
Published: (2014)
О некоторых подходах к вычислению неопределенностей
by: Провотар, А.И., et al.
Published: (2010)
by: Провотар, А.И., et al.
Published: (2010)
Конструктивно-продукционная модель графового представления текста
by: Шинкаренко, В.И., et al.
Published: (2016)
by: Шинкаренко, В.И., et al.
Published: (2016)
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
by: Резниченко, В.А., et al.
Published: (2015)
by: Резниченко, В.А., et al.
Published: (2015)
Конструкционно-продукционная модель структур данных на логическом уровне
by: Шинкаренко, В.И., et al.
Published: (2014)
by: Шинкаренко, В.И., et al.
Published: (2014)
Внешние множественные операции табличной алгебры бесконечных таблиц
by: Глушко, И.М.
Published: (2016)
by: Глушко, И.М.
Published: (2016)
Темпоральні процедури та алгоритми
by: Зубенко, В.В.
Published: (2006)
by: Зубенко, В.В.
Published: (2006)
NP-трудность задач оптимизации коллективного преследования
by: Пашко, С.В.
Published: (2014)
by: Пашко, С.В.
Published: (2014)
К-значная логика в расширенной алгебре алгоритмов
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
Программирование и интеллект
by: Мейтус, В.Ю.
Published: (2009)
by: Мейтус, В.Ю.
Published: (2009)
Основы алгебры алгоритмов, базирующейся на данных
by: Акуловский, В.Г.
Published: (2010)
by: Акуловский, В.Г.
Published: (2010)
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
DS-теория. Научные аспекты и перспективы развития
by: Колесник, В.Г.
Published: (2017)
by: Колесник, В.Г.
Published: (2017)
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
by: Потиенко, С.В.
Published: (2008)
by: Потиенко, С.В.
Published: (2008)
DS-теория. Исследование факторов форматирования Р-данных
by: Колесник, В.Г.
Published: (2016)
by: Колесник, В.Г.
Published: (2016)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
Некоторые аспекты формализации данных и декомпозиция Д-операторов
by: Акуловский, В.Г.
Published: (2009)
by: Акуловский, В.Г.
Published: (2009)
Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
by: Акуловский, В.Г.
Published: (2009)
by: Акуловский, В.Г.
Published: (2009)
Расширенная алгебра алгоритмов
by: Акуловский, В.Г.
Published: (2007)
by: Акуловский, В.Г.
Published: (2007)
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
by: Губа, А.А., et al.
Published: (2016)
by: Губа, А.А., et al.
Published: (2016)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Синтез многоуровневых структур со многими выходами
by: Опанасенко, В.Н., et al.
Published: (2016)
by: Опанасенко, В.Н., et al.
Published: (2016)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
by: Дорошенко, А.Е., et al.
Published: (2012)
by: Дорошенко, А.Е., et al.
Published: (2012)
Согласованное описание алгоритмов в рамках алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2014)
by: Акуловский, В.Г., et al.
Published: (2014)
Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)
by: Ільман, В.М., et al.
Published: (2007)
О построении клонов алгебр функциональных n-отношенеий
by: Захария, Л.М., et al.
Published: (2006)
by: Захария, Л.М., et al.
Published: (2006)
Швидка або якісна розробка?
by: Панченко, Т.В.
Published: (2014)
by: Панченко, Т.В.
Published: (2014)
Similar Items
-
Экзистенциальный базис дескриптивных сред
by: Редько, И.В.
Published: (2008) -
Дефинитологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2012) -
Дескриптологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2010) -
Программологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2008) -
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
by: Резниченко, В.А., et al.
Published: (2016)