Buchumschlag

Внешние множественные операции табличной алгебры бесконечных таблиц

Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения. Розглядається таблична алгебра нескінченних таблиць. Сигнатур...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2016
1. Verfasser:	Глушко, И.М.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2016
Schlagworte:	Теоретичні та методологічні основи програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/126385
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. — № 2-3. — С. 11-16. — Бібліогр.: 4 назв. — рос.

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: (2016)

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

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

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

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

Экзистенциальный базис дескриптивных сред
von: Редько, И.В.
Veröffentlicht: (2008)

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

Интенсиональные основания дескриптивных сред
von: Редько, И.В.
Veröffentlicht: (2006)

Формализация: алгоритмический подход
von: Провотар, А.И.
Veröffentlicht: (2008)

Прагматические основания дескриптивных сред
von: Редько, И.В.
Veröffentlicht: (2005)

Дескриптивные среды: интеграционные основания
von: Редько, И.В.
Veröffentlicht: (2006)

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

Конструктивно-продукционная модель графового представления текста
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2016)

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

О некоторых подходах к вычислению неопределенностей
von: Провотар, А.И., et al.
Veröffentlicht: (2010)

Еволюційне програмування
von: Глибовець, М.М., et al.
Veröffentlicht: (2013)

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

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

Современные методы программирования. Возможности и инструменты
von: Лаврищева, Е.М.
Veröffentlicht: (2006)

Об одном подходе к верификации алгебраических вычислений
von: Львов, М.С.
Veröffentlicht: (2011)

Дефинитологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2012)

Программологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2008)

Дескриптологические основания сущностной платформы
von: Редько, В.Н., et al.
Veröffentlicht: (2010)

Дескриптивные системы: концептуальный базис
von: Редько, В.Н., et al.
Veröffentlicht: (2006)

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

Компонентне програмування. Теорія і реалізація
von: Лавріщева, К.М.
Veröffentlicht: (2012)

Кібернетика, інформатика та програмна інженерія: аспекти розвитку
von: Лавріщева, К.М.
Veröffentlicht: (2010)

Моделі взаємодії програм, систем і операційних середовищ
von: Лавріщева, К.М.
Veröffentlicht: (2011)

Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
von: Лавріщева, К.М.
Veröffentlicht: (2011)

Засіб вимірювання метрик вихідного коду FORTRAN за допомогою синтаксичного аналізу
von: Покровський, А.М.
Veröffentlicht: (2021)

Базові основи індустрії програм, обчислень і даних
von: Лавріщева, К.М.
Veröffentlicht: (2012)

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

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

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

Алгебри квазіарних та бі-квазіарних реляцій
von: Нікітченко, М.С., et al.
Veröffentlicht: (2016)

Концептуальні моделі розподілених компонентних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)

Стабільність та монотонність програм щодо структурних трансформацій даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)

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

Ієрархія композиційно-номінативних логік
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)