Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень
Розглядається обчислюваність на множинах та мультимножинах. Обчислюваність вводиться як нумераційна обчислюваність та апаратом для задання класу обчислюваних функцій виступають примітивні програмні алгебри. Побудовано системи породжуючих множинної та мультимножинної ППА. We consider the computabilit...
Saved in:
| Published in: | Доповіді НАН України |
|---|---|
| Date: | 2011 |
| Main Authors: | Богатирьова, Ю.О., Буй, Д.Б., Редько, В.Н. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/38681 |
| 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: | Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень / Ю.О. Богатирьова, Д.Б. Буй, В.Н. Редько // Доп. НАН України. — 2011. — № 9. — С. 32-35. — Бібліогр.: 13 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Некоторые равенства в табличных алгебрах
by: Редько, В.Н., et al.
Published: (2014)
by: Редько, В.Н., et al.
Published: (2014)
Аксiоматика багатозначних залежностей табличних баз даних
by: Редько, В.Н., et al.
Published: (2015)
by: Редько, В.Н., et al.
Published: (2015)
Наближене обчислення коефіцієнтів Фур'є функцій трьох змінних з використанням сплайн-інтерфлетації на класі диференційовних функцій
by: Литвин, О.М., et al.
Published: (2012)
by: Литвин, О.М., et al.
Published: (2012)
Чебишовське наближення за неповною системою степеневих функцій
by: Скопецький, В.В., et al.
Published: (2009)
by: Скопецький, В.В., et al.
Published: (2009)
Метод захисту та відтворення інформації засобами Ateb-функцій
by: Грицик, В.В., et al.
Published: (2008)
by: Грицик, В.В., et al.
Published: (2008)
Інтерполяція геоінформаційних даних з використанням методу функцій Гріна
by: Богаєнко, В.О., et al.
Published: (2012)
by: Богаєнко, В.О., et al.
Published: (2012)
Ідентифікація інформації на основі функціональних перетворень періодичних Ateb-функцій
by: Грицик, В.В., et al.
Published: (2011)
by: Грицик, В.В., et al.
Published: (2011)
Моделювання вищих когнітивних функцій людиноподібного інтелекту як процесу породження сенсів
by: Бєлов, Ю.А., et al.
Published: (2011)
by: Бєлов, Ю.А., et al.
Published: (2011)
Дослідження властивостей функцій екстраполяційної глибини з використанням ядерних оцінок щільності
by: Галкін, О.А.
Published: (2016)
by: Галкін, О.А.
Published: (2016)
Ядро стійкості векторної задачі оптимізації за умов збурень критеріальних функцій
by: Лебєдєва, Т.Т., et al.
Published: (2021)
by: Лебєдєва, Т.Т., et al.
Published: (2021)
Наближення розривних функцій розривними сплайнами на прямокутнику з однією криволінійною стороною
by: Литвин, О.М., et al.
Published: (2013)
by: Литвин, О.М., et al.
Published: (2013)
Математичне моделювання розподілу корисних копалин за допомогою інтерлінації функцій трьох змінних
by: Литвин, О.М., et al.
Published: (2009)
by: Литвин, О.М., et al.
Published: (2009)
Математична модель плоскої кривої у неявній формі на основі інтерлінації функцій
by: Сергієнко, І.В., et al.
Published: (2010)
by: Сергієнко, І.В., et al.
Published: (2010)
Математична модель поверхні тіла у неявній формі на основі інтерфлетації функцій
by: Сергієнко, І.В., et al.
Published: (2011)
by: Сергієнко, І.В., et al.
Published: (2011)
Наближення розривних функцій кусково-лінійними інтерполяційними розривними сплайнами на трикутній сітці вузлів
by: Литвин, О.М., et al.
Published: (2012)
by: Литвин, О.М., et al.
Published: (2012)
Клас нових функцій для побудови дискретних моделей коливних систем з широким спектром динамічних режимів
by: Заяць, В.М.
Published: (2013)
by: Заяць, В.М.
Published: (2013)
Наближене обчислення 3 D коефіцієнтів Фур'є на класі диференційовних функцій за допомогою сплайн-інтерфлетації
by: Литвин, О.М., et al.
Published: (2012)
by: Литвин, О.М., et al.
Published: (2012)
Ермітова інтерлінація функцій двох змінних на заданій системі неперетинних ліній із збереженням класу C^r(R²)
by: Литвин, О.М., et al.
Published: (2014)
by: Литвин, О.М., et al.
Published: (2014)
Деякі аспекти чисельної реалізації методу скінченних елементів з оптимальним вибором параметрів, базисних функцій та координат вузлів елементів
by: Литвин, О.М., et al.
Published: (2009)
by: Литвин, О.М., et al.
Published: (2009)
Метод інтерлінації вектор-функцій w(x,y,z,t) на системі вертикальних прямих і його застосування в міжсвердловинній сейсмічній томографії
by: Сергієнко, І.В., et al.
Published: (2013)
by: Сергієнко, І.В., et al.
Published: (2013)
Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах
by: Редько, В.Н., et al.
Published: (2017)
by: Редько, В.Н., et al.
Published: (2017)
Відновлення функцій двох змінних із збереженням класу C^r(R²) за допомогою їх слідів та слідів їх похідних до фіксованого порядку на заданій лінії
by: Литвин, О.М., et al.
Published: (2014)
by: Литвин, О.М., et al.
Published: (2014)
О степенной модели прогнозирования надежности стареющих систем
by: Ярошенко, В.Н.
Published: (2011)
by: Ярошенко, В.Н.
Published: (2011)
Об оценивании функционалов от решения линеаризованной задачи Навье-Стокса по неполным данным
by: Головач, В.Н., et al.
Published: (2007)
by: Головач, В.Н., et al.
Published: (2007)
Структурно-функціональна модель системи забезпечення інформаційної й інформаційно-психологічної безпеки
by: Качинський, А.Б.
Published: (2023)
by: Качинський, А.Б.
Published: (2023)
Системний підхід до аналізу явищ інформаційного та кібернетичного просторів
by: Качинський, А.Б., et al.
Published: (2020)
by: Качинський, А.Б., et al.
Published: (2020)
Асимптотика збурених стохастичних диференціально-різницевих рівнянь нейтрального типу
by: Малик, І.В., et al.
Published: (2011)
by: Малик, І.В., et al.
Published: (2011)
Операційна аналітика як інструмент моніторингу даних та управління подіями систем забезпечення кібербезпеки
by: Качинський, А.Б., et al.
Published: (2021)
by: Качинський, А.Б., et al.
Published: (2021)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Аналіз оптимальних стратегій портфельної конкуренційної моделі ринку акцій
by: Кишакевич, Б.Ю., et al.
Published: (2009)
by: Кишакевич, Б.Ю., et al.
Published: (2009)
Метод виділення інваріантних ознак сигналів
by: Забара, С.С., et al.
Published: (2009)
by: Забара, С.С., et al.
Published: (2009)
Дослідження оптимальних стратегій конкуренційної портфельної моделі ринку акцій із бі-варіантною функцією корисності
by: Кишакевич, Б.Ю., et al.
Published: (2009)
by: Кишакевич, Б.Ю., et al.
Published: (2009)
Інформаційна технологія обробки даних електрокардіограм для знаходження R-піків
by: Крак, Ю.В., et al.
Published: (2024)
by: Крак, Ю.В., et al.
Published: (2024)
Інформаційна технологія програмно-керованих растрів введення зображень у системах комп'ютерного зору
by: Грицик, В.В., et al.
Published: (2014)
by: Грицик, В.В., et al.
Published: (2014)
Спектр алгебри блочно-симетричних аналітичних функцій
by: Загороднюк, А. В., et al.
Published: (2013)
by: Загороднюк, А. В., et al.
Published: (2013)
Кинетическая теория колебаний параметров поточной линии
by: Азаренков, Н.А., et al.
Published: (2014)
by: Азаренков, Н.А., et al.
Published: (2014)
Метод псевдобазисних матриць
by: Кудін, В.І.
Published: (2014)
by: Кудін, В.І.
Published: (2014)
Y-подібна модель життєвого циклу програмного забезпечення
by: Дідковська, М.В.
Published: (2007)
by: Дідковська, М.В.
Published: (2007)
Використання методу Монте-Карло для статистичної перевірки асимптотичної нормальності стаціонарного розподілу кількості вимог у системі GI/G/∞ у випадку великого завантаження
by: Кузнєцов, І.М.
Published: (2016)
by: Кузнєцов, І.М.
Published: (2016)
Идентификация на основе слабых задач параметров гиперболических систем в условиях импульсных и сосредоточенных воздействий
by: Сергиенко, И.В., et al.
Published: (2011)
by: Сергиенко, И.В., et al.
Published: (2011)
Similar Items
-
Некоторые равенства в табличных алгебрах
by: Редько, В.Н., et al.
Published: (2014) -
Аксiоматика багатозначних залежностей табличних баз даних
by: Редько, В.Н., et al.
Published: (2015) -
Наближене обчислення коефіцієнтів Фур'є функцій трьох змінних з використанням сплайн-інтерфлетації на класі диференційовних функцій
by: Литвин, О.М., et al.
Published: (2012) -
Чебишовське наближення за неповною системою степеневих функцій
by: Скопецький, В.В., et al.
Published: (2009) -
Метод захисту та відтворення інформації засобами Ateb-функцій
by: Грицик, В.В., et al.
Published: (2008)