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

Секвенційні числення логік безкванторно-функціональних рівнів

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Штучний інтелект
Дата:	2016
Автори:	Шкільняк, С.С., Волковицький, Д.Б.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем штучного інтелекту МОН України та НАН України 2016
Теми:	Теорія та засоби обчислювального інтелекту
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/132088
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Секвенційні числення логік безкванторно-функціональних рівнів / С.С. Шкільняк, Д.Б. Волковицький // Штучний інтелект. — 2016. — № 4. — С. 50-62. — Бібліогр.: 5 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
за авторством: Буй, Д.Б., та інші
Опубліковано: (2015)

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

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

7-значнi логіки та логіки загальних недетермінованих предикатів
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2018)

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

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

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

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

Оптимізаційні питання оцінювання щільності на реальних даних
за авторством: Горбачук, В.М., та інші
Опубліковано: (2017)

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

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

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

Двофазовий меметичний алгоритм забезпечення групової анонімності даних
за авторством: Тавров, Д.Ю., та інші
Опубліковано: (2015)

Алгоритми Машинного Навчання у контексті Великих Даних
за авторством: Терещенко, В.М., та інші
Опубліковано: (2018)

Забезпечення групової анонімності як складова CSID-процесу обробки даних
за авторством: Чертов, О.Р., та інші
Опубліковано: (2017)

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

Синтез оптимальної структури глибокої нейронної мережі
за авторством: Коваль, Д.Ю., та інші
Опубліковано: (2016)

Сходимость процессов нейродинамики в модели Хопфилда
за авторством: Шатырко, А.В., та інші
Опубліковано: (2017)

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

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

Швидке обчислення циклічної згортки багаторозрядних чисел на основі ШПФ у паралельній моделі обчислень
за авторством: Терещенко, А.М., та інші
Опубліковано: (2016)

Метод визначення коефіцієнта масштабування недіадного вейвлет-перетворення на основі частотного спектру
за авторством: Чертов, О.Р., та інші
Опубліковано: (2016)

Тюнинговая программная система для решения линейных систем на гибридных компьютерах
за авторством: Химич, А.Н., та інші
Опубліковано: (2016)

Математична модель і метод рішення за допомогою нового інтегрального перетворення узагальненої крайової задачі теплообміну кусково-однорідного циліндра
за авторством: Бердник, М.Г.
Опубліковано: (2016)

Параллельное сложение на основе векторных операций
за авторством: Терещенко, А.Н., та інші
Опубліковано: (2018)

Про природу скінченних та нескінченних комбінаторних множин
за авторством: Тимофієва, Н.К.
Опубліковано: (2017)

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

Знакові комбінаторні простори та штучний інтелект
за авторством: Тимофієва, Н.К.
Опубліковано: (2015)

Алгоритм опису яружних цільових функцій
за авторством: Трофимчук, О.М., та інші
Опубліковано: (2015)

Застосування системи ПАРКС.NET в Docker контейнерах та Google Cloud Platform для розподілених хмарних обчислень
за авторством: Анісімов, А.В., та інші
Опубліковано: (2018)

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

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

Testing simple neuron models with dendrites for sparse binary image representation
за авторством: Osaulenko, V.M.
Опубліковано: (2017)

Про комбінаторні числа та симетрію в біології
за авторством: Тимофієва, Н.К
Опубліковано: (2018)

On reliability modeling and evaluating in cloud services system
за авторством: Telenyk, S.F., та інші
Опубліковано: (2018)

Программно-аппаратная поддержка ускорения вычислений
за авторством: Буза, М.К.
Опубліковано: (2018)

Зменшення накладних видатків реконфігурації в реконфігурованих обчислювальних системах
за авторством: Луцький, Г.М., та інші
Опубліковано: (2015)

Інтелектуальна система для дослідження та розв’язування задач на власні значення на паралельних комп’ютерах з процесорами Intel Xeon Phi
за авторством: Хіміч, О.М., та інші
Опубліковано: (2017)