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

Реномінативні логіки квазіарних предикатів

Досліджено реномінативні логіки квазіарних предикатів. Вони посідають місце між пропозиційною та першопорядковими логіками. Виділено реномінативні логіки базового рівня, із предикатами слабкої рівності та з предикатами строгої рівності. Досліджено семантичні властивості таких логік, описано відношен...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Компьютерная математика
Дата:	2016
ISSN:	2616-938Х
Автори:	Шкільняк, С.С., Волковицький, Д.Б.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2016
Теми:	Инструментальные средства информационных технологий
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/168398
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр. .

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

Виявлення контурів у цифрових зображеннях із використанням нечіткої логіки
за авторством: Мороз, О.І.
Опубліковано: (2016)

Теорія організації конкурсів
за авторством: Горбачук, В.М., та інші
Опубліковано: (2019)

Об эффективных алгоритмах обработки, кодирования и шифрования данных на абонентских системах беспроводных сетей
за авторством: Шевчук, Б.М.
Опубліковано: (2012)

Эффективные методы и алгоритмы оперативного сжатия сигналов и изображений, ориентированные на построение объектных систем сенсорных сетей
за авторством: Шевчук, Б.М.
Опубліковано: (2012)

Об алгоритме синтеза реляционного каркаса. Постановка задачи и формализация
за авторством: Панченко, Б.Е.
Опубліковано: (2012)

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

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

Множини як сукупності сутностей-об’єктів
за авторством: Терлецький, Д.О.
Опубліковано: (2013)

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

Ярусно-паралельна модель обчислень для логічного виведення у нечітких багаторівневих системах
за авторством: Єршов, С.В., та інші
Опубліковано: (2016)

Імплементація первинних електронних документів
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2012)

Методи побудови регресійних моделей на основі нечітких даних
за авторством: Єршов, С.В., та інші
Опубліковано: (2015)

Подсистема ввода и редактирования геометрической информации пространственных слоистых тел информационной технологии НАДРА-3D
за авторством: Белоус, М.В., та інші
Опубліковано: (2009)

Моделе-ориентированная архитектура нечетких мультиагентных систем
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2010)

Подсистема триангуляции слоистых тел программного комплекса Надра-3D
за авторством: Белоус, М.В., та інші
Опубліковано: (2011)

Формат долгосрочного хранения электронных документов
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2011)

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

Оценивание производительности GRID-систем с помощью операционного анализа
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2010)

Программная поддержка и планирование задач в системах реального времени
за авторством: Зинченко, С.В., та інші
Опубліковано: (2017)

Розпізнавання нечітких підводних образів
за авторством: Писаренко, В.Г., та інші
Опубліковано: (2018)

Автоматическое построение числовых прогнозов
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2010)

Про засоби 3D-навчання "Управління_ТЕП"
за авторством: Писаренко, В.Г., та інші
Опубліковано: (2019)

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

Про принципи CI на пальцях
за авторством: Когут, А.В.
Опубліковано: (2016)

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

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

Частинні випадки задачі граціозності графів
за авторством: Семенюта, М.Ф.
Опубліковано: (2015)

Нейронні мережі в економічному моделюванні
за авторством: Галкін, О.В.
Опубліковано: (2013)

Методи розробки інструментальних засобів комп’ютерної алгебри на основі моделе-орієнтованого підходу
за авторством: Давидов, О.П.
Опубліковано: (2015)

Формування бази даних електронних медичних записів
за авторством: Хорозов, О.А.
Опубліковано: (2014)

Діагностична система на основі нечітких знань
за авторством: Саввакін, В.О., та інші
Опубліковано: (2019)

Про часову складність алгоритму розкладання графів на різних структурах даних
за авторством: Гришанович, Т.О., та інші
Опубліковано: (2012)

Можливі моделі фінансового вирівнювання на шляху до оптимізації міжбюджетних відносин
за авторством: Гудима, А.В.
Опубліковано: (2012)

Динамічна зміна якості відео в залежності від ширини Інтернет-каналу
за авторством: Галкін, О.В.
Опубліковано: (2012)

Аналітична обробка показників діяльності суб’єктів господарювання
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2012)

Использование XBRL для формирования информационного ресурса
за авторством: Хорозов, О.А.
Опубліковано: (2010)

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