Внешние множественные операции табличной алгебры бесконечных таблиц
Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения. Розглядається таблична алгебра нескінченних таблиць. Сигнатур...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2016 |
| Main Author: | Глушко, И.М. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/126385 |
| 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: | Внешние множественные операции табличной алгебры бесконечных таблиц / И.М. Глушко // Проблеми програмування. — 2016. — № 2-3. — С. 11-16. — Бібліогр.: 4 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Полнота алгебры алгоритмов с данными
by: Акуловский, В.Г., et al.
Published: (2016)
by: Акуловский, В.Г., et al.
Published: (2016)
Основы алгебры алгоритмов, базирующейся на данных
by: Акуловский, В.Г.
Published: (2010)
by: Акуловский, В.Г.
Published: (2010)
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
by: Шинкаренко, В.И.
Published: (2006)
by: Шинкаренко, В.И.
Published: (2006)
Конструктивное представление множественных объектов и их свойства
by: Ильман, В.М., et al.
Published: (2014)
by: Ильман, В.М., et al.
Published: (2014)
Конструкционно-продукционная модель структур данных на логическом уровне
by: Шинкаренко, В.И., et al.
Published: (2014)
by: Шинкаренко, В.И., et al.
Published: (2014)
Интенсиональные основания дескриптивных сред
by: Редько, И.В.
Published: (2006)
by: Редько, И.В.
Published: (2006)
Экзистенциальный базис дескриптивных сред
by: Редько, И.В.
Published: (2008)
by: Редько, И.В.
Published: (2008)
Функциональная эффективность нечетко специфицированных алгоритмов
by: Шинкаренко, В.И.
Published: (2006)
by: Шинкаренко, В.И.
Published: (2006)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
by: Резниченко, В.А., et al.
Published: (2016)
by: Резниченко, В.А., et al.
Published: (2016)
Конструктивно-продукционная модель графового представления текста
by: Шинкаренко, В.И., et al.
Published: (2016)
by: Шинкаренко, В.И., et al.
Published: (2016)
О некоторых подходах к вычислению неопределенностей
by: Провотар, А.И., et al.
Published: (2010)
by: Провотар, А.И., et al.
Published: (2010)
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
by: Резниченко, В.А., et al.
Published: (2015)
by: Резниченко, В.А., et al.
Published: (2015)
Еволюційне програмування
by: Глибовець, М.М., et al.
Published: (2013)
by: Глибовець, М.М., et al.
Published: (2013)
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
by: Львов, М.С.
Published: (2015)
by: Львов, М.С.
Published: (2015)
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
by: Лаврищева, Е.М.
Published: (2010)
by: Лаврищева, Е.М.
Published: (2010)
Дефинитологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2012)
by: Редько, В.Н., et al.
Published: (2012)
Дескриптивные системы: концептуальный базис
by: Редько, В.Н., et al.
Published: (2006)
by: Редько, В.Н., et al.
Published: (2006)
Дескриптологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2010)
by: Редько, В.Н., et al.
Published: (2010)
Программологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2008)
by: Редько, В.Н., et al.
Published: (2008)
Компонентне програмування. Теорія і реалізація
by: Лавріщева, К.М.
Published: (2012)
by: Лавріщева, К.М.
Published: (2012)
Генерувальне програмування програмних систем і їх сімейств
by: Лавріщева, К.М.
Published: (2009)
by: Лавріщева, К.М.
Published: (2009)
Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
by: Лавріщева, К.М.
Published: (2011)
by: Лавріщева, К.М.
Published: (2011)
Моделі взаємодії програм, систем і операційних середовищ
by: Лавріщева, К.М.
Published: (2011)
by: Лавріщева, К.М.
Published: (2011)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
by: Цейтлин, Г.Е., et al.
Published: (2008)
by: Цейтлин, Г.Е., et al.
Published: (2008)
О построении клонов алгебр функциональных n-отношенеий
by: Захария, Л.М., et al.
Published: (2006)
by: Захария, Л.М., et al.
Published: (2006)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
by: Дорошенко, А.Е., et al.
Published: (2007)
by: Дорошенко, А.Е., et al.
Published: (2007)
Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)
by: Ільман, В.М., et al.
Published: (2007)
Композиційно-номінативні логіки над ієрархічними даними
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Інтенсіонально-орієнтований підхід до побудови логічних систем
by: Нікітченко, М.С., et al.
Published: (2007)
by: Нікітченко, М.С., et al.
Published: (2007)
Концептуальні моделі розподілених компонентних систем
by: Лавріщева, К.М., et al.
Published: (2013)
by: Лавріщева, К.М., et al.
Published: (2013)
Ієрархія композиційно-номінативних логік
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Стабільність та монотонність програм щодо структурних трансформацій даних
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Семантичні властивості п’ятизначних логік
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Объектно-компонентная разработка изменяемых программных систем
by: Лаврищева, Е.М., et al.
Published: (2016)
by: Лаврищева, Е.М., et al.
Published: (2016)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
by: Хіміч, О.М., et al.
Published: (2020)
by: Хіміч, О.М., et al.
Published: (2020)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010)
by: Буй, Д.Б., et al.
Published: (2010)
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)
by: Кривий, С.Л., et al.
Published: (2018)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
by: Нікітченко, М.С., et al.
Published: (2014)
by: Нікітченко, М.С., et al.
Published: (2014)
Similar Items
-
Полнота алгебры алгоритмов с данными
by: Акуловский, В.Г., et al.
Published: (2016) -
Основы алгебры алгоритмов, базирующейся на данных
by: Акуловский, В.Г.
Published: (2010) -
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
by: Шинкаренко, В.И.
Published: (2006) -
Конструктивное представление множественных объектов и их свойства
by: Ильман, В.М., et al.
Published: (2014) -
Конструкционно-продукционная модель структур данных на логическом уровне
by: Шинкаренко, В.И., et al.
Published: (2014)