Зображення обкладинки

Основы алгебры алгоритмов, базирующейся на данных

Предложена модель ЭВМ, у которой информационное множество представляет собой множество данных, образующих иерархию структур данных произвольной сложности. На основе этой модели построена система алгоритмических алгебр и рассмотрены некоторые аспекты и перспективы еѐ использования....

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2010
Автор:	Акуловский, В.Г.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2010
Теми:	Теоретичні та методологічні основи програмування
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/14640
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Основы алгебры алгоритмов, базирующейся на данных / В.Г. Акуловский // Пробл. програмув. — 2010. — № 2-3. — С. 89-96. — Бібліогр.: 11 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Полнота алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2016)

Построение и преобразование операций и некоторых алгоритмических конструкций алгебры алгоритмов с данными
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2011)

Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)

Расширенная алгебра алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2007)

К-значная логика в расширенной алгебре алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2008)

Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2009)

Согласованное описание алгоритмов в рамках алгебраического аппарата
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2014)

Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2011)

Некоторые аспекты формализации данных и декомпозиция Д-операторов
за авторством: Акуловский, В.Г.
Опубліковано: (2009)

DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
за авторством: Колесник, В.Г.
Опубліковано: (2015)

DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
за авторством: Колесник, В.Г.
Опубліковано: (2015)

DS-теория как прототип теории прикладных алгоритмов
за авторством: Колесник, В.Г.
Опубліковано: (2012)

Внешние множественные операции табличной алгебры бесконечных таблиц
за авторством: Глушко, И.М.
Опубліковано: (2016)

Функциональная эффективность нечетко специфицированных алгоритмов
за авторством: Шинкаренко, В.И.
Опубліковано: (2006)

DS-теория. Исследование факторов форматирования Р-данных
за авторством: Колесник, В.Г.
Опубліковано: (2016)

Конструкционно-продукционная модель структур данных на логическом уровне
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2014)

Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)

О методе проектирования абстрактного типа данных в алгебре алгоритмики
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)

Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
за авторством: Резниченко, В.А., та інші
Опубліковано: (2015)

Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
за авторством: Резниченко, В.А., та інші
Опубліковано: (2016)

О выделении макроопераций из вычислительных процессов сортировки массивов данных
за авторством: Паулин, О.Н., та інші
Опубліковано: (2016)

Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
за авторством: Шинкаренко, В.И.
Опубліковано: (2006)

DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
за авторством: Колесник, В.Г.
Опубліковано: (2015)

DS-теория. Научные аспекты и перспективы развития
за авторством: Колесник, В.Г.
Опубліковано: (2017)

Логіки, орієнтовані на специфікації програм
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2006)

Метод извлечения логики поведения из промышленного программного кода на языке Кобол
за авторством: Губа, А.А., та інші
Опубліковано: (2016)

Дослідження паралельного алгоритму побудови діаграми Вороного на площині
за авторством: Березовський, К.А.
Опубліковано: (2009)

Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
за авторством: Новокшонов, А.К.
Опубліковано: (2016)

Возведение в степень n и вычисление корня степени n больших чисел на основе рекуррентных соотношений
за авторством: Терещенко, А.Н.
Опубліковано: (2015)

Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
за авторством: Ларін, В.О., та інші
Опубліковано: (2021)

О построении клонов алгебр функциональных n-отношенеий
за авторством: Захария, Л.М., та інші
Опубліковано: (2006)

Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2008)

Алгебра для описания данных в композиционных схемах алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2012)

Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2007)

Дескриптологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2010)

Дефинитологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2012)

Программологические основания сущностной платформы
за авторством: Редько, В.Н., та інші
Опубліковано: (2008)

Дескриптивные системы: концептуальный базис
за авторством: Редько, В.Н., та інші
Опубліковано: (2006)

Конструктивное представление множественных объектов и их свойства
за авторством: Ильман, В.М., та інші
Опубліковано: (2014)

Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
за авторством: Колчин, А.В.
Опубліковано: (2008)