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

Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень

Розглядається обчислюваність на множинах та мультимножинах. Обчислюваність вводиться як нумераційна обчислюваність та апаратом для задання класу обчислюваних функцій виступають примітивні програмні алгебри. Побудовано системи породжуючих множинної та мультимножинної ППА. We consider the computabilit...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Доповіді НАН України
Дата:	2011
ISSN:	1025-6415
Автори:	Богатирьова, Ю.О., Буй, Д.Б., Редько, В.Н.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Видавничий дім "Академперіодика" НАН України 2011
Теми:	Інформатика та кібернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/38681
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень / Ю.О. Богатирьова, Д.Б. Буй, В.Н. Редько // Доп. НАН України. — 2011. — № 9. — С. 32-35. — Бібліогр.: 13 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

Наближене обчислення коефіцієнтів Фур'є функцій трьох змінних з використанням сплайн-інтерфлетації на класі диференційовних функцій
за авторством: Литвин, О.М., та інші
Опубліковано: (2012)

Чебишовське наближення за неповною системою степеневих функцій
за авторством: Скопецький, В.В., та інші
Опубліковано: (2009)

Метод захисту та відтворення інформації засобами Ateb-функцій
за авторством: Грицик, В.В., та інші
Опубліковано: (2008)

Інтерполяція геоінформаційних даних з використанням методу функцій Гріна
за авторством: Богаєнко, В.О., та інші
Опубліковано: (2012)

Ідентифікація інформації на основі функціональних перетворень періодичних Ateb-функцій
за авторством: Грицик, В.В., та інші
Опубліковано: (2011)

Моделювання вищих когнітивних функцій людиноподібного інтелекту як процесу породження сенсів
за авторством: Бєлов, Ю.А., та інші
Опубліковано: (2011)

Дослідження властивостей функцій екстраполяційної глибини з використанням ядерних оцінок щільності
за авторством: Галкін, О.А.
Опубліковано: (2016)

Ядро стійкості векторної задачі оптимізації за умов збурень критеріальних функцій
за авторством: Лебєдєва, Т.Т., та інші
Опубліковано: (2021)

Наближення розривних функцій розривними сплайнами на прямокутнику з однією криволінійною стороною
за авторством: Литвин, О.М., та інші
Опубліковано: (2013)

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

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

Математична модель поверхні тіла у неявній формі на основі інтерфлетації функцій
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2011)

Наближення розривних функцій кусково-лінійними інтерполяційними розривними сплайнами на трикутній сітці вузлів
за авторством: Литвин, О.М., та інші
Опубліковано: (2012)

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

Наближене обчислення 3 D коефіцієнтів Фур'є на класі диференційовних функцій за допомогою сплайн-інтерфлетації
за авторством: Литвин, О.М., та інші
Опубліковано: (2012)

Ермітова інтерлінація функцій двох змінних на заданій системі неперетинних ліній із збереженням класу C^r(R²)
за авторством: Литвин, О.М., та інші
Опубліковано: (2014)

Деякі аспекти чисельної реалізації методу скінченних елементів з оптимальним вибором параметрів, базисних функцій та координат вузлів елементів
за авторством: Литвин, О.М., та інші
Опубліковано: (2009)

Метод інтерлінації вектор-функцій w(x,y,z,t) на системі вертикальних прямих і його застосування в міжсвердловинній сейсмічній томографії
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2013)

Відновлення функцій двох змінних із збереженням класу C^r(R²) за допомогою їх слідів та слідів їх похідних до фіксованого порядку на заданій лінії
за авторством: Литвин, О.М., та інші
Опубліковано: (2014)

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

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

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

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

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

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

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

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

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

Дослідження оптимальних стратегій конкуренційної портфельної моделі ринку акцій із бі-варіантною функцією корисності
за авторством: Кишакевич, Б.Ю., та інші
Опубліковано: (2009)

Інформаційна технологія обробки даних електрокардіограм для знаходження R-піків
за авторством: Крак, Ю.В., та інші
Опубліковано: (2024)

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

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

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

Y-подібна модель життєвого циклу програмного забезпечення
за авторством: Дідковська, М.В.
Опубліковано: (2007)

Використання методу Монте-Карло для статистичної перевірки асимптотичної нормальності стаціонарного розподілу кількості вимог у системі GI/G/∞ у випадку великого завантаження
за авторством: Кузнєцов, І.М.
Опубліковано: (2016)

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

Лінійно-квадратична задача оптимального керування процесом теплопровідності
за авторством: Копець, М.М.
Опубліковано: (2014)

Оптимізаційні моделі балансування регіональної енергосистеми за умов знеструмлення магістральних вузлів
за авторством: Стецюк, П.І., та інші
Опубліковано: (2025)