Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
Рассмотрены данные, специфицируемые в композиционных схемах алгоритмов. Показан их состав, структура, свойства и возможность контроля корректности их описания.
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2013 |
| Hauptverfasser: | Акуловский, В.Г., Дорошенко, А.Е. |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/86661 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов / В.Г. Акуловский, А.Е. Дорошенко // Проблеми програмування. — 2013. — № 2. — С. 3-12. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Основы алгебры алгоритмов, базирующейся на данных
von: Акуловский, В.Г.
Veröffentlicht: (2010)
von: Акуловский, В.Г.
Veröffentlicht: (2010)
Алгебра для описания данных в композиционных схемах алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2012)
von: Акуловский, В.Г.
Veröffentlicht: (2012)
Согласованное описание алгоритмов в рамках алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014)
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014)
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2011)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2011)
Полнота алгебры алгоритмов с данными
von: Акуловский, В.Г., et al.
Veröffentlicht: (2016)
von: Акуловский, В.Г., et al.
Veröffentlicht: (2016)
Расширенная алгебра алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2007)
von: Акуловский, В.Г.
Veröffentlicht: (2007)
К-значная логика в расширенной алгебре алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2008)
von: Акуловский, В.Г.
Veröffentlicht: (2008)
Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2009)
von: Акуловский, В.Г.
Veröffentlicht: (2009)
Некоторые аспекты формализации данных и декомпозиция Д-операторов
von: Акуловский, В.Г.
Veröffentlicht: (2009)
von: Акуловский, В.Г.
Veröffentlicht: (2009)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
von: Колесник, В.Г.
Veröffentlicht: (2015)
von: Колесник, В.Г.
Veröffentlicht: (2015)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
von: Колесник, В.Г.
Veröffentlicht: (2015)
von: Колесник, В.Г.
Veröffentlicht: (2015)
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
von: Акуловский, В.Г.
Veröffentlicht: (2008)
von: Акуловский, В.Г.
Veröffentlicht: (2008)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)
Функциональная эффективность нечетко специфицированных алгоритмов
von: Шинкаренко, В.И.
Veröffentlicht: (2006)
von: Шинкаренко, В.И.
Veröffentlicht: (2006)
DS-теория. Исследование факторов форматирования Р-данных
von: Колесник, В.Г.
Veröffentlicht: (2016)
von: Колесник, В.Г.
Veröffentlicht: (2016)
Конструкционно-продукционная модель структур данных на логическом уровне
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2014)
n- исчисление – реалистичная формализация класса переписывающих систем
von: Шевченко, Р.С., et al.
Veröffentlicht: (2011)
von: Шевченко, Р.С., et al.
Veröffentlicht: (2011)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
von: Паулин, О.Н., et al.
Veröffentlicht: (2016)
von: Паулин, О.Н., et al.
Veröffentlicht: (2016)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2016)
von: Резниченко, В.А., et al.
Veröffentlicht: (2016)
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2015)
von: Резниченко, В.А., et al.
Veröffentlicht: (2015)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
von: Шинкаренко, В.И.
Veröffentlicht: (2006)
von: Шинкаренко, В.И.
Veröffentlicht: (2006)
Конструктивное представление множественных объектов и их свойства
von: Ильман, В.М., et al.
Veröffentlicht: (2014)
von: Ильман, В.М., et al.
Veröffentlicht: (2014)
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
von: Колесник, В.Г.
Veröffentlicht: (2015)
von: Колесник, В.Г.
Veröffentlicht: (2015)
DS-теория. Научные аспекты и перспективы развития
von: Колесник, В.Г.
Veröffentlicht: (2017)
von: Колесник, В.Г.
Veröffentlicht: (2017)
Двохкомпонентні алгоритми сортування
von: Шинкаренко, В.І., et al.
Veröffentlicht: (2022)
von: Шинкаренко, В.І., et al.
Veröffentlicht: (2022)
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
О построении клонов алгебр функциональных n-отношенеий
von: Захария, Л.М., et al.
Veröffentlicht: (2006)
von: Захария, Л.М., et al.
Veröffentlicht: (2006)
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
von: Лаврищева, Е.М.
Veröffentlicht: (2010)
von: Лаврищева, Е.М.
Veröffentlicht: (2010)
Функции и методы поддержки современных парадигм метода дельфи
von: Ильина, Е.П.
Veröffentlicht: (2009)
von: Ильина, Е.П.
Veröffentlicht: (2009)
О структурних элементах компонентной сети Петри
von: Лукьянова, Е.А.
Veröffentlicht: (2012)
von: Лукьянова, Е.А.
Veröffentlicht: (2012)
Конструктивно-продукционная модель графового представления текста
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2016)
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2016)
Объектно-компонентная разработка изменяемых программных систем
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2016)
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2016)
Концептуальні моделі розподілених компонентних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)
Спектр секвенційних числень першопорядкових композиційно-номінативних логік
von: Шкільняк, С.С.
Veröffentlicht: (2013)
von: Шкільняк, С.С.
Veröffentlicht: (2013)
Еволюційне програмування
von: Глибовець, М.М., et al.
Veröffentlicht: (2013)
von: Глибовець, М.М., et al.
Veröffentlicht: (2013)
Київська школа програмування В.М. Глушкова
von: Андон, П.І.
Veröffentlicht: (2013)
von: Андон, П.І.
Veröffentlicht: (2013)
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
von: Шкільняк, О.С.
Veröffentlicht: (2019)
von: Шкільняк, О.С.
Veröffentlicht: (2019)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
von: Шкільняк, C.С.
Veröffentlicht: (2019)
von: Шкільняк, C.С.
Veröffentlicht: (2019)
Ähnliche Einträge
-
Основы алгебры алгоритмов, базирующейся на данных
von: Акуловский, В.Г.
Veröffentlicht: (2010) -
Алгебра для описания данных в композиционных схемах алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2012) -
Согласованное описание алгоритмов в рамках алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014) -
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2011) -
Полнота алгебры алгоритмов с данными
von: Акуловский, В.Г., et al.
Veröffentlicht: (2016)