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

DS-теория. Представление канонического алгоритма с помощью алгоритмического языка

Работа является продолжением описания схемы декомпозиции как теоретической модели, обеспечивающая возможность генерации прикладных алгоритмов. Приведено описание алгоритмического языка, предназначенного продемонстрировать возможность генерации алгоритмов. Описана одна из групп факторов – способы раз...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

Концептуальні моделі розподілених компонентних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)

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

Объектно-компонентная разработка изменяемых программных систем
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2016)

Актуальные проблемы современной арифметики с плавающей запятой
за авторством: Ющенко, Р.А.
Опубліковано: (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Insertion modeling in distributed system design
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2008)

Стабільність та монотонність програм щодо структурних трансформацій даних
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2010)

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

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

Аналіз систем нечіткої логіки для апроксимації нечітких функцій
за авторством: Щегельський, Т.С., та інші
Опубліковано: (2012)

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

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

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

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

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

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

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

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