Головна
Шановні користувачі!
Чернігівська ОУНБ ім. Софії та Олександра Русових проводить роботу відповідно до
Рекомендацій Міністерства культури та інформаційної політики України
щодо актуалізації бібліотечних фондів у зв'язку зі збройною агресією російської федерації проти України.
Авторизація
Прізвище
Пароль
Увійти
 
Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником
Бази даних
Електронна картотека аналітичного опису статей - результати пошуку
Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Ключові слова
Автор
Назва
Рік видання
Знайдено у інших БД:
Електронний каталог книг (1)
Формат представлення знайдених документів:
повний
інформаційний
короткий
Відсортувати знайдені документи за:
автором
назвою
роком видання
типом документа
Пошуковий запит:
(<.>A=Редько, В. Н.$<.>)
Загальна кількість знайдених документів
:
4
Показані документи
с 1 за 4
>
1.
Редько, В. Н.
Об инвариантности ключей относительно операций табличных алгебр [Текст] / В. Н. Редько, Д. Б. Буй, А. С. Сенченко> // Кибернетика и системный анализ. - 2015. -
№ 5
. - С. 3-12 : рис., табл. - Библиогр. в конце ст.
Рубрики:
Кібернетика
Кл.слова (ненормовані):
база даних
--
таблична алгебра
--
ключ
Дод.точки доступу:
Буй, Д. Б.; Сенченко, А. С.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
>
2.
Точные оценки временной
сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах [Текст] / В. Н. Редько, Д. Б. Буй, И. С. Канарская, А. С. Сенченко> // Кибернетика и системный анализ. - 2017. -
№ 1
. - С. 3-15 : табл. - Библиогр.: с. 14-15
Рубрики:
Кібернетика--Алгоритми
Кл.слова (ненормовані):
складність алгоритму
--
база даних
--
таблична алгебра
Дод.точки доступу:
Редько, В. Н.
; Буй, Д. Б.; Канарская, И. С.; Сенченко, А. С.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
>
3.
Богатирьова, Ю. О.
Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень [Текст] / Ю. О. Богатирьова, Д. Б. Буй, В. Н. Редько> // Доповіді Національної академії наук України. - 2011. -
№ 9
. - С. 32-35. - Бібліогр. в кінці ст.
Рубрики:
Математика--Алгебра--Загальна алгебра--Поля і многочлени
Кл.слова (ненормовані):
функція рекурсивна
--
предикат рівності
Анотація:
Розглядається обчислювальність на множинах і мультимножинах. Побудовано системи породжуючих множинної та мультимножинної примітивно програмних алгебр.
Дод.точки доступу:
Буй, Д. Б.;
Редько, В. Н.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
>
4.
Редько, В. Н.
Аксіоматика багатозначних залежностей табличних баз даних [Текст] / В. Н. Редько, Д. Б. Буй, А. В. Пузікова> // Доповіді Національної академії наук України. - 2015. -
№ 6
. - С. 24-29. - Бібліогр. в кінці ст.
ББК
32.973.202
Рубрики:
Комп'ютерна наука і технологія--Дані--Системи управління базами даних
Кл.слова (ненормовані):
Залежності функціональні
--
Залежності багатозначні
--
Критерій повноти
--
Повнота аксіоматики
--
Домен універсальний
--
Множина атрибутів
Анотація:
Розглядаються аксіоматика багатозначних залежностей в табличних базах даних і аксіоматика функціональних та багатозначних залежностей; встановлюється повнота цих аксіоматик через збіжність відношень синтаксичного та семантичного прямування.
Дод.точки доступу:
Буй, Д. Б.; Пузікова, А. В.
Є примірники у відділах:
всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)