Полнота алгебры алгоритмов с данными
Показана полнота алгебры алгоритмов с данными, предназначенной для согласованного проектирования потоков управления и обрабатываемых данных. Рассматривается также реализуемость разработки алгоритмов от управления и от данных с использованием как восходящей, так и нисходящей стратегий проектирования....
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2016 |
| Hauptverfasser: | Акуловский, В.Г., Дорошенко, А.Е., Яценко, Е.А. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2016
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/126431 |
| 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: | Полнота алгебры алгоритмов с данными / В.Г. Акуловский, А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2016. — № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2011)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2011)
Основы алгебры алгоритмов, базирующейся на данных
von: Акуловский, В.Г.
Veröffentlicht: (2010)
von: Акуловский, В.Г.
Veröffentlicht: (2010)
Согласованное описание алгоритмов в рамках алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014)
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)
Расширенная алгебра алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2007)
von: Акуловский, В.Г.
Veröffentlicht: (2007)
Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
von: Акуловский, В.Г., et al.
Veröffentlicht: (2015)
von: Акуловский, В.Г., et al.
Veröffentlicht: (2015)
К-значная логика в расширенной алгебре алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2008)
von: Акуловский, В.Г.
Veröffentlicht: (2008)
Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2009)
von: Акуловский, В.Г.
Veröffentlicht: (2009)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013)
Внешние множественные операции табличной алгебры бесконечных таблиц
von: Глушко, И.М.
Veröffentlicht: (2016)
von: Глушко, И.М.
Veröffentlicht: (2016)
Функциональная эффективность нечетко специфицированных алгоритмов
von: Шинкаренко, В.И.
Veröffentlicht: (2006)
von: Шинкаренко, В.И.
Veröffentlicht: (2006)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
von: Колесник, В.Г.
Veröffentlicht: (2015)
von: Колесник, В.Г.
Veröffentlicht: (2015)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
von: Колесник, В.Г.
Veröffentlicht: (2015)
von: Колесник, В.Г.
Veröffentlicht: (2015)
Некоторые аспекты формализации данных и декомпозиция Д-операторов
von: Акуловский, В.Г.
Veröffentlicht: (2009)
von: Акуловский, В.Г.
Veröffentlicht: (2009)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)
n- исчисление – реалистичная формализация класса переписывающих систем
von: Шевченко, Р.С., et al.
Veröffentlicht: (2011)
von: Шевченко, Р.С., et al.
Veröffentlicht: (2011)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2007)
О структурних элементах компонентной сети Петри
von: Лукьянова, Е.А.
Veröffentlicht: (2012)
von: Лукьянова, Е.А.
Veröffentlicht: (2012)
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
von: Колесник, В.Г.
Veröffentlicht: (2015)
von: Колесник, В.Г.
Veröffentlicht: (2015)
Двохкомпонентні алгоритми сортування
von: Шинкаренко, В.І., et al.
Veröffentlicht: (2022)
von: Шинкаренко, В.І., et al.
Veröffentlicht: (2022)
Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
von: Яценко, Е.А.
Veröffentlicht: (2012)
von: Яценко, Е.А.
Veröffentlicht: (2012)
DS-теория. Исследование факторов форматирования Р-данных
von: Колесник, В.Г.
Veröffentlicht: (2016)
von: Колесник, В.Г.
Veröffentlicht: (2016)
DS-теория. Научные аспекты и перспективы развития
von: Колесник, В.Г.
Veröffentlicht: (2017)
von: Колесник, В.Г.
Veröffentlicht: (2017)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
von: Резниченко, В.А., et al.
Veröffentlicht: (2016)
von: Резниченко, В.А., et al.
Veröffentlicht: (2016)
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
von: Лаврищева, Е.М.
Veröffentlicht: (2010)
von: Лаврищева, Е.М.
Veröffentlicht: (2010)
Функции и методы поддержки современных парадигм метода дельфи
von: Ильина, Е.П.
Veröffentlicht: (2009)
von: Ильина, Е.П.
Veröffentlicht: (2009)
Объектно-компонентная разработка изменяемых программных систем
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2016)
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2016)
О построении клонов алгебр функциональных n-отношенеий
von: Захария, Л.М., et al.
Veröffentlicht: (2006)
von: Захария, Л.М., et al.
Veröffentlicht: (2006)
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
von: Шинкаренко, В.И.
Veröffentlicht: (2006)
von: Шинкаренко, В.И.
Veröffentlicht: (2006)
Конструктивно-продукционная модель графового представления текста
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2016)
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2016)
Аспекты моделирования в системе Гомеопат
von: Провотар, А.А., et al.
Veröffentlicht: (2012)
von: Провотар, А.А., et al.
Veröffentlicht: (2012)
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
von: Губа, А.А., et al.
Veröffentlicht: (2016)
von: Губа, А.А., et al.
Veröffentlicht: (2016)
О некоторых подходах к вычислению неопределенностей
von: Провотар, А.И., et al.
Veröffentlicht: (2010)
von: Провотар, А.И., et al.
Veröffentlicht: (2010)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
von: Новокшонов, А.К.
Veröffentlicht: (2016)
von: Новокшонов, А.К.
Veröffentlicht: (2016)
Описание списков и множеств в метаязыке нормальных форм знаний
von: Кургаев, А.Ф.
Veröffentlicht: (2020)
von: Кургаев, А.Ф.
Veröffentlicht: (2020)
Аналітичний огляд підходів до інтеграції програмних систем
von: Дивак, Ю.А.
Veröffentlicht: (2021)
von: Дивак, Ю.А.
Veröffentlicht: (2021)
Керування синтезом нейронних мереж
von: Катеринич, Л.А.
Veröffentlicht: (2009)
von: Катеринич, Л.А.
Veröffentlicht: (2009)
Мультимножества: обзор библиографии, построение решетки мультимножеств
von: Богатырева, Ю.А.
Veröffentlicht: (2010)
von: Богатырева, Ю.А.
Veröffentlicht: (2010)
Дослідження паралельного алгоритму побудови діаграми Вороного на площині
von: Березовський, К.А.
Veröffentlicht: (2009)
von: Березовський, К.А.
Veröffentlicht: (2009)
Ähnliche Einträge
-
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2011) -
Основы алгебры алгоритмов, базирующейся на данных
von: Акуловский, В.Г.
Veröffentlicht: (2010) -
Согласованное описание алгоритмов в рамках алгебраического аппарата
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014) -
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
von: Акуловский, В.Г., et al.
Veröffentlicht: (2013) -
Расширенная алгебра алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2007)