Cover Image

Некоторые аспекты формализации данных и декомпозиция Д-операторов

В рамках расширенной алгебры алгоритмов предложен подход к формализации данных. Рассмотрены свойства формализованных данных и некоторые аспекты декомпозиции Д-операторов. У рамках розширеної алгебри алгоритмів запропоновано підхід до формалізації даних. Розглянуто властивості формалізованих даних і...

Full description

Saved in:

Bibliographic Details
Date:	2009
Main Author:	Акуловский, В.Г.
Format:	Article
Language:	Russian
Published:	Інститут програмних систем НАН України 2009
Subjects:	Теоретичні та методологічні основи програмування
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/6514
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:	Некоторые аспекты формализации данных и декомпозиция Д-операторов / В.Г. Акуловский // Пробл. програмув. — 2009. — № 4. — С. 03-10. — Бібліогр.: 08 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

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

Основы алгебры алгоритмов, базирующейся на данных
by: Акуловский, В.Г.
Published: (2010)

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

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

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

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

DS-теория. Исследование факторов форматирования Р-данных
by: Колесник, В.Г.
Published: (2016)

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

Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
by: Цейтлин, Г.Е., et al.
Published: (2008)

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

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

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

Согласованное описание алгоритмов в рамках алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2014)

Аспекты моделирования в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)

Конструкционно-продукционная модель структур данных на логическом уровне
by: Шинкаренко, В.И., et al.
Published: (2014)

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

Полнота алгебры алгоритмов с данными
by: Акуловский, В.Г., et al.
Published: (2016)

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

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

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

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

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

Программирование и интеллект
by: Мейтус, В.Ю.
Published: (2009)

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

Функции и методы поддержки современных парадигм метода дельфи
by: Ильина, Е.П.
Published: (2009)

Описание списков и множеств в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020)

Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
by: Потиенко, С.В.
Published: (2008)

Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
by: Лаврищева, Е.М.
Published: (2010)

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
by: Львов, М.С.
Published: (2015)

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

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

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

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

Генерувальне програмування програмних систем і їх сімейств
by: Лавріщева, К.М.
Published: (2009)

Керування синтезом нейронних мереж
by: Катеринич, Л.А.
Published: (2009)

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

Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
by: Шкільняк, О.С.
Published: (2019)

Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
by: Шкільняк, C.С.
Published: (2019)

Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)

NP-трудность задач оптимизации коллективного преследования
by: Пашко, С.В.
Published: (2014)