Cover Image

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

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

Full description

Saved in:

Bibliographic Details
Published in:	Компьютерная математика
Date:	2016
Main Authors:	Шкільняк, С.С., Волковицький, Д.Б.
Format:	Article
Language:	Ukrainian
Published:	Інститут кібернетики ім. В.М. Глушкова НАН України 2016
Subjects:	Инструментальные средства информационных технологий
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/168398
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:	Реномінативні логіки квазіарних предикатів / С.С. Шкільняк, Д.Б. Волковицький // Компьютерная математика. — 2016. — № 1. — С. 46-57. — Бібліогр.: 6 назв. — укр. .

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Чисті першопорядкові логіки квазіарних предикатів
by: Нікітченко, М.С., et al.
Published: (2016)

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

Логіки квазіарних предикатів кванторно-екваційного рівня
by: Нікітченко, М.С., et al.
Published: (2012)

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

Теорія організації конкурсів
by: Горбачук, В.М., et al.
Published: (2019)

Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
by: Шкільняк, С.С.
Published: (2012)

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

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

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

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

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

Исследования методов помехоустойчивого кодирования информации для систем микроспутника
by: Буров, В.А., et al.
Published: (2009)

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

Мобильная технология интерактивной визуализации трехмерных моделей
by: Петрухин, В.А., et al.
Published: (2018)

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

Імплементація первинних електронних документів
by: Мелащенко, А.О., et al.
Published: (2012)

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

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

Моделе-ориентированная архитектура нечетких мультиагентных систем
by: Парасюк, И.Н., et al.
Published: (2010)

Подсистема триангуляции слоистых тел программного комплекса Надра-3D
by: Белоус, М.В., et al.
Published: (2011)

Формат долгосрочного хранения электронных документов
by: Мелащенко, А.О., et al.
Published: (2011)

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

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

Программная поддержка и планирование задач в системах реального времени
by: Зинченко, С.В., et al.
Published: (2017)

Розпізнавання нечітких підводних образів
by: Писаренко, В.Г., et al.
Published: (2018)

Автоматическое построение числовых прогнозов
by: Лавренюк, С.И., et al.
Published: (2010)

Про засоби 3D-навчання "Управління_ТЕП"
by: Писаренко, В.Г., et al.
Published: (2019)

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

Спеціальні відношення логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, С.С.
Published: (2011)

Властивості відношень логічного наслідку в логіках квазіарних предикатів
by: Шкільняк, С.С.
Published: (2013)

Побудова секвенційних числень логік квазіарних предикатів першого порядку
by: Шкільняк, С.С.
Published: (2013)

Про принципи CI на пальцях
by: Когут, А.В.
Published: (2016)

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

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

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

Нейронні мережі в економічному моделюванні
by: Галкін, О.В.
Published: (2013)

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

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

Діагностична система на основі нечітких знань
by: Саввакін, В.О., et al.
Published: (2019)

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