Множини як сукупності сутностей-об’єктів
Пропонується деяке розширення та формалізація класичної теорії множин у вигляді конструктивної її версії (CST) в якій вводиться новий рівень – рівень об’єктів, які є складовими для створення множин; концепція класу об’єктів, що дозволяє у певному сенсі формалізувати класифікацію самих об’єктів. У ос...
Збережено в:
| Опубліковано в: : | Компьютерная математика |
|---|---|
| Дата: | 2013 |
| Автор: | Терлецький, Д.О. |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84749 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Множини як сукупності сутностей-об’єктів / Д.О. Терлецький // Компьютерная математика. — 2013. — № 2. — С. 64-71. — Бібліогр.: 9 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Аналітична обробка показників діяльності суб’єктів господарювання
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2012)
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2012)
Об одном семействе суперпозиций перестановок
за авторством: Скобелев, В.Г.
Опубліковано: (2011)
за авторством: Скобелев, В.Г.
Опубліковано: (2011)
Об алгоритме синтеза реляционного каркаса. Постановка задачи и формализация
за авторством: Панченко, Б.Е.
Опубліковано: (2012)
за авторством: Панченко, Б.Е.
Опубліковано: (2012)
Об эффективных алгоритмах обработки, кодирования и шифрования данных на абонентских системах беспроводных сетей
за авторством: Шевчук, Б.М.
Опубліковано: (2012)
за авторством: Шевчук, Б.М.
Опубліковано: (2012)
Реномінативні логіки квазіарних предикатів
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)
Про часову складність алгоритму розкладання графів на різних структурах даних
за авторством: Гришанович, Т.О., та інші
Опубліковано: (2012)
за авторством: Гришанович, Т.О., та інші
Опубліковано: (2012)
Імплементація первинних електронних документів
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2012)
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2012)
Діагностична система на основі нечітких знань
за авторством: Саввакін, В.О., та інші
Опубліковано: (2019)
за авторством: Саввакін, В.О., та інші
Опубліковано: (2019)
Нейронні мережі в економічному моделюванні
за авторством: Галкін, О.В.
Опубліковано: (2013)
за авторством: Галкін, О.В.
Опубліковано: (2013)
Виявлення контурів у цифрових зображеннях із використанням нечіткої логіки
за авторством: Мороз, О.І.
Опубліковано: (2016)
за авторством: Мороз, О.І.
Опубліковано: (2016)
Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
за авторством: Давидов, О.П.
Опубліковано: (2015)
за авторством: Давидов, О.П.
Опубліковано: (2015)
Формування бази даних електронних медичних записів
за авторством: Хорозов, О.А.
Опубліковано: (2014)
за авторством: Хорозов, О.А.
Опубліковано: (2014)
Динамічна зміна якості відео в залежності від ширини Інтернет-каналу
за авторством: Галкін, О.В.
Опубліковано: (2012)
за авторством: Галкін, О.В.
Опубліковано: (2012)
Использование сетевых методов организации байесовского оценивания для нечеткой информации
за авторством: Веревка, О.В.
Опубліковано: (2013)
за авторством: Веревка, О.В.
Опубліковано: (2013)
Использование XBRL для формирования информационного ресурса
за авторством: Хорозов, О.А.
Опубліковано: (2010)
за авторством: Хорозов, О.А.
Опубліковано: (2010)
Механизм eInvocing в Украине
за авторством: Мелащенко, А.О.
Опубліковано: (2010)
за авторством: Мелащенко, А.О.
Опубліковано: (2010)
Структуры данных в задачах с неопределенностью
за авторством: Веревка, О.В.
Опубліковано: (2019)
за авторством: Веревка, О.В.
Опубліковано: (2019)
Взаимное преобразование спецификаций XML и ASN.1
за авторством: Мелащенко, А.О.
Опубліковано: (2009)
за авторством: Мелащенко, А.О.
Опубліковано: (2009)
Формат долгосрочного хранения электронных документов
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2011)
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2011)
Застосування грід-технологій та графічних прискорювачів для дослідження процесів в мінералах
за авторством: Гречко, А.В., та інші
Опубліковано: (2018)
за авторством: Гречко, А.В., та інші
Опубліковано: (2018)
Про засоби 3D-навчання "Управління_ТЕП"
за авторством: Писаренко, В.Г., та інші
Опубліковано: (2019)
за авторством: Писаренко, В.Г., та інші
Опубліковано: (2019)
Заметки о подходах к построению Φ-функций для эллипсов
за авторством: Бардадым, Т.А., та інші
Опубліковано: (2013)
за авторством: Бардадым, Т.А., та інші
Опубліковано: (2013)
Приближение разрывной функции двух переменных с помощью разрывных сплайнов двух переменных (прямоугольные элементы)
за авторством: Литвин, О.Н., та інші
Опубліковано: (2011)
за авторством: Литвин, О.Н., та інші
Опубліковано: (2011)
Метод коэффициентов уверенности для нечеткой классификации и диагностики
за авторством: Заложенкова, И.А., та інші
Опубліковано: (2015)
за авторством: Заложенкова, И.А., та інші
Опубліковано: (2015)
Исследования методов помехоустойчивого кодирования информации для систем микроспутника
за авторством: Буров, В.А., та інші
Опубліковано: (2009)
за авторством: Буров, В.А., та інші
Опубліковано: (2009)
Создание динамической системы распространения контента с использованием протокола BitTorrent
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2012)
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2012)
Автоматическое построение числовых прогнозов
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2010)
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2010)
Ярусно-паралельна модель обчислень для логічного виведення у нечітких багаторівневих системах
за авторством: Єршов, С.В., та інші
Опубліковано: (2016)
за авторством: Єршов, С.В., та інші
Опубліковано: (2016)
Частинні випадки задачі граціозності графів
за авторством: Семенюта, М.Ф.
Опубліковано: (2015)
за авторством: Семенюта, М.Ф.
Опубліковано: (2015)
Теорія організації конкурсів
за авторством: Горбачук, В.М., та інші
Опубліковано: (2019)
за авторством: Горбачук, В.М., та інші
Опубліковано: (2019)
Про принципи CI на пальцях
за авторством: Когут, А.В.
Опубліковано: (2016)
за авторством: Когут, А.В.
Опубліковано: (2016)
Розпізнавання нечітких підводних образів
за авторством: Писаренко, В.Г., та інші
Опубліковано: (2018)
за авторством: Писаренко, В.Г., та інші
Опубліковано: (2018)
Методи побудови регресійних моделей на основі нечітких даних
за авторством: Єршов, С.В., та інші
Опубліковано: (2015)
за авторством: Єршов, С.В., та інші
Опубліковано: (2015)
Можливі моделі фінансового вирівнювання на шляху до оптимізації міжбюджетних відносин
за авторством: Гудима, А.В.
Опубліковано: (2012)
за авторством: Гудима, А.В.
Опубліковано: (2012)
Метод Сааті для аналізу показників податкової трансформації
за авторством: Стецюк, П.І., та інші
Опубліковано: (2016)
за авторством: Стецюк, П.І., та інші
Опубліковано: (2016)
Организация обмена электронными документами для повышения качества образовательного процесса
за авторством: Горбач, С.Н., та інші
Опубліковано: (2013)
за авторством: Горбач, С.Н., та інші
Опубліковано: (2013)
Трансформационный подход к разработке адаптивных интеллектуальных агентов на основе нечетких схем переходов
за авторством: Ершов, С.В.
Опубліковано: (2011)
за авторством: Ершов, С.В.
Опубліковано: (2011)
Исследование критерия стойкости при пассивных атаках
за авторством: Никитенко, Л.Л.
Опубліковано: (2009)
за авторством: Никитенко, Л.Л.
Опубліковано: (2009)
Программная система поддержки процессов интеллектуального анализа больших массивов данных
за авторством: Скукис, А.Е.
Опубліковано: (2009)
за авторством: Скукис, А.Е.
Опубліковано: (2009)
Информационная система расчетов по формуле распределения объема межбюджетных трансфертов: текущие возможности и пути развития
за авторством: Гудыма, А.В.
Опубліковано: (2011)
за авторством: Гудыма, А.В.
Опубліковано: (2011)
Схожі ресурси
-
Аналітична обробка показників діяльності суб’єктів господарювання
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2012) -
Об одном семействе суперпозиций перестановок
за авторством: Скобелев, В.Г.
Опубліковано: (2011) -
Об алгоритме синтеза реляционного каркаса. Постановка задачи и формализация
за авторством: Панченко, Б.Е.
Опубліковано: (2012) -
Об эффективных алгоритмах обработки, кодирования и шифрования данных на абонентских системах беспроводных сетей
за авторством: Шевчук, Б.М.
Опубліковано: (2012) -
Реномінативні логіки квазіарних предикатів
за авторством: Шкільняк, С.С., та інші
Опубліковано: (2016)