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

Некоторые равенства в табличных алгебрах

Найдены необходимые и достаточные условия, при которых одиннадцать включений, выполняемых в табличных алгебрах, превращаются в равенства. Эти условия выражаются в терминах активных доменов таблиц и являются естественными. Знайдено необхiднi та достатнi умови, при яких одинадцять включень, якi викон...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Доповіді НАН України
Дата:	2014
Автори:	Редько, В.Н., Буй, Д.Б., Сенченко, А.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2014
Теми:	Інформатика та кібернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/87813
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Некоторые равенства в табличных алгебрах / В.Н. Редько, Д.Б. Буй, А.С. Сенченко // Доповiдi Нацiональної академiї наук України. — 2014. — № 6. — С. 48-52. — Бібліогр.: 7 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

Взаимосвязи между пересечением, объединением и другими сигнатурными операциями в табличных алгебрах
за авторством: Сенченко, А.С.
Опубліковано: (2018)

О дистрибутивности в табличных алгебрах операции насыщения относительно операций объединения и пересечения
за авторством: Сенченко, А.С.
Опубліковано: (2013)

Формальная семантика агрегатных операций в табличных алгебрах
за авторством: Глушко, И.Н.
Опубліковано: (2014)

Лингвистическое представление графов с помеченными вершинами
за авторством: Сапунов, С.В., та інші
Опубліковано: (2019)

Моделирование сложных теплофизических систем с применением нечеткой логики
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)

О степенной модели прогнозирования надежности стареющих систем
за авторством: Ярошенко, В.Н.
Опубліковано: (2011)

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

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

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

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

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

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

Моделирование одного класса сложных систем с нечетким управлением
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)

Численный анализ одной нелинейной математической модели
за авторством: Шевченко, А.И., та інші
Опубліковано: (2012)

Розпаралелювання різницевих схем на основі ДС-алгоритму
за авторством: Грищенко, О.Ю., та інші
Опубліковано: (2011)

Об оценивании функционалов от решения линеаризованной задачи Навье-Стокса по неполным данным
за авторством: Головач, В.Н., та інші
Опубліковано: (2007)

Адаптивные стохастические модели в трудно формализуемых естественнонаучных задачах
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2008)

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

Відновлення функціональної залежності часових рядів в умовах коротких вибірок
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2011)

Оцінювання багатофакторних ризиків в стратегії розв'язання задач технологічного передбачення
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2010)

Поиск программных инвариантов в виде полиномов
за авторством: Максимец, А.Н.
Опубліковано: (2013)

О применении сосредоточения в методе конечных элементов Петрова–Галеркина при решении задач конвекции-диффузии
за авторством: Сирик, С.В., та інші
Опубліковано: (2014)

Розпізнавання міміки губ при промовлянні слів українською мовою
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2010)

Метод виділення інваріантних ознак сигналів
за авторством: Забара, С.С., та інші
Опубліковано: (2009)

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

Гібридний метод розв'язування обернених граничних задач теорії потенціалу в частково необмежених областях з тріщиною
за авторством: Вінтоняк, Н.І., та інші
Опубліковано: (2007)

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

Упаковка большого числа конгруэнтных шаров в цилиндре
за авторством: Яськов, Г.Н.
Опубліковано: (2009)

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

Формальні методи розпаралелювання алгоритму Тар'яна
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2008)

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

О законе возрастания энтропии технологического процесса
за авторством: Азаренков, Н.А., та інші
Опубліковано: (2012)