Конструктори множин та мультимножин об’єктів
Пропонуються певні операції над об’єктами, що описують деякі сутності, досліджується процес утворення множин та мультимножин об’єктів та пропонуються конструктивні методи їх створення (автоматичної генерації), що дозволяє будувати, класифікувати та порівнювати об’єкти та множини або мультимножини об...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2014 |
| Main Author: | Терлецький, Д.О. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2014
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/86736 |
| 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: | Конструктори множин та мультимножин об’єктів / Д.О. Терлецький // Проблеми програмування. — 2014. — № 1. — С. 18-30. — Бібліогр.: 10 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Об одном подходе к верификации алгебраических вычислений
by: Львов, М.С.
Published: (2011)
by: Львов, М.С.
Published: (2011)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010)
by: Буй, Д.Б., et al.
Published: (2010)
Виникнення та інтерпретація тризначних логік Кліні
by: Шишацька, О.В.
Published: (2010)
by: Шишацька, О.В.
Published: (2010)
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
by: Летичевський, О.О., et al.
Published: (2020)
by: Летичевський, О.О., et al.
Published: (2020)
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Темпоральні процедури та алгоритми
by: Зубенко, В.В.
Published: (2006)
by: Зубенко, В.В.
Published: (2006)
Ациклічність та замкненість макрокомпозицій
by: Вінник, В.Ю., et al.
Published: (2012)
by: Вінник, В.Ю., et al.
Published: (2012)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Алгебри квазіарних та бі-квазіарних реляцій
by: Нікітченко, М.С., et al.
Published: (2016)
by: Нікітченко, М.С., et al.
Published: (2016)
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2020)
by: Нікітченко, М.С., et al.
Published: (2020)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
Стабільність та монотонність програм щодо структурних трансформацій даних
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
by: Шкільняк, C.С.
Published: (2019)
by: Шкільняк, C.С.
Published: (2019)
Програмування в обмеженнях у системі інсерційного моделювання
by: Летичевський, О.А., et al.
Published: (2011)
by: Летичевський, О.А., et al.
Published: (2011)
Композиційно-номінативні логіки безкванторних рівнів
by: Шкільняк, С.С., et al.
Published: (2016)
by: Шкільняк, С.С., et al.
Published: (2016)
Итеративный подход к анализу естественно-языковых текстов: логический аспект
by: Крывый, С.Л., et al.
Published: (2012)
by: Крывый, С.Л., et al.
Published: (2012)
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)
by: Кривий, С.Л., et al.
Published: (2018)
Елементи конкретної алгоритміки: обчислюваність і розв’язність
by: Провотар, О.І., et al.
Published: (2020)
by: Провотар, О.І., et al.
Published: (2020)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
by: Щегельський, Т.С., et al.
Published: (2012)
by: Щегельський, Т.С., et al.
Published: (2012)
Про нові методи опису невизначених величин
by: Провотар, О.І., et al.
Published: (2012)
by: Провотар, О.І., et al.
Published: (2012)
Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
by: Ларін, В.О., et al.
Published: (2021)
by: Ларін, В.О., et al.
Published: (2021)
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Відношення логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, О.С.
Published: (2016)
by: Шкільняк, О.С.
Published: (2016)
Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня
by: Шкільняк, О.С.
Published: (2011)
by: Шкільняк, О.С.
Published: (2011)
Композиційно-номінативні модальні логіки функціонально-екваційного рівня
by: Шкільняк, О.С.
Published: (2010)
by: Шкільняк, О.С.
Published: (2010)
Побудова секвенційних числень мультимодальних композиційно-номінативних логік
by: Шкільняк, О.С.
Published: (2013)
by: Шкільняк, О.С.
Published: (2013)
Семантичні властивості композиційно-номінативних модальних логік
by: Шкільняк, О.С.
Published: (2009)
by: Шкільняк, О.С.
Published: (2009)
Про локальну коректність формальних визначень
by: Провотар, О.І.
Published: (2006)
by: Провотар, О.І.
Published: (2006)
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів
by: Шкільняк, О.С.
Published: (2017)
by: Шкільняк, О.С.
Published: (2017)
О выделении макроопераций из вычислительных процессов сортировки массивов данных
by: Паулин, О.Н., et al.
Published: (2016)
by: Паулин, О.Н., et al.
Published: (2016)
Семантичні властивості п’ятизначних логік
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Аспекты моделирования в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)
by: Провотар, А.А., et al.
Published: (2012)
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
by: Нікітченко, М.С., et al.
Published: (2014)
by: Нікітченко, М.С., et al.
Published: (2014)
Алгебри загальних недетермінованих предикатів
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
by: Хіміч, О.М., et al.
Published: (2020)
by: Хіміч, О.М., et al.
Published: (2020)
Чисті першопорядкові логіки квазіарних предикатів
by: Нікітченко, М.С., et al.
Published: (2016)
by: Нікітченко, М.С., et al.
Published: (2016)
Логіки загальних недетермінованих предикатів: cемантичні аспекти
by: Нікітченко, М.С., et al.
Published: (2018)
by: Нікітченко, М.С., et al.
Published: (2018)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2019)
by: Нікітченко, М.С., et al.
Published: (2019)
Объектно-компонентная разработка изменяемых программных систем
by: Лаврищева, Е.М., et al.
Published: (2016)
by: Лаврищева, Е.М., et al.
Published: (2016)
Similar Items
-
Об одном подходе к верификации алгебраических вычислений
by: Львов, М.С.
Published: (2011) -
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010) -
Виникнення та інтерпретація тризначних логік Кліні
by: Шишацька, О.В.
Published: (2010) -
Алгебраїчне моделювання в системах міжнародної та місцевої обслуговуючої логістики
by: Летичевський, О.О., et al.
Published: (2020) -
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
by: Шкільняк, О.С.
Published: (2019)