Buchumschlag

Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки

Досліджено композиційно номінативні логіки часткових однозначних, тотальних неоднозначних і часткових неоднозначних квазіарних предикатів на пропозиційному і реномінативному рівнях. Встановлено зв’язки між цими логіками та 3-значними і 4-значними логіками тотальних однозначних предикатів. Исследован...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Штучний інтелект
Datum:	2012
1. Verfasser:	Шкільняк, С.С.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут проблем штучного інтелекту МОН України та НАН України 2012
Schlagworte:	Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/56424
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Композиційно-номінативні логіки квазіарних предикатів та багатозначні логіки / С.С. Шкільняк // Штучний інтелект. — 2012. — № 1. — С. 66-74. — Бібліогр.: 7 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Композиційно-номінативні мультимодальні логіки
von: Шкільняк, О.С., et al.
Veröffentlicht: (2011)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Композиційно-номінативні логіки безкванторних рівнів
von: Шкільняк, С.С., et al.
Veröffentlicht: (2016)

Ефективні за точністю алгоритми обчислення оцінки частотної характеристики лінійної моделі об’єктів керування з постійними параметрами
von: Задірака, В.К., et al.
Veröffentlicht: (2013)

Інформаційно-кібернетичні та психолого-дидактичні аспекти проектування експертно-навчальних систем
von: Костюченко, М.П.
Veröffentlicht: (2013)

Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
von: Шкільняк, О.С., et al.
Veröffentlicht: (2017)

Метод гілок та меж для розв’язування цілочислової задачі дробово-лінійної оптимізації
von: Ємець, О.О., et al.
Veröffentlicht: (2012)

Технології високопродуктивних обчислень для дослідження та розв’язування задач розрахунку міцності конструкцій
von: Хіміч, О.М., et al.
Veröffentlicht: (2010)

Алгоритм моделювання штучної імунної системи з селективним оператором Сааті та одновимірним локальним пошуком
von: Желдак, Т.А., et al.
Veröffentlicht: (2013)

Приближенный анализ нелинейной конвективной математической модели
von: Миненко, А.С.
Veröffentlicht: (2012)

Постановка задачи размещения данных в «облаке»
von: Коваленко, О.С.
Veröffentlicht: (2011)

Математичне моделювання оптимізації системи «дьоготь – полімер – деревний гідролізний лігнін»
von: Повзун, О.І., et al.
Veröffentlicht: (2014)

Алгоритм решения задачи прогнозирования
von: Чумаченко, Е.И., et al.
Veröffentlicht: (2012)

Построение ER-модели молекулярного состава клетки как основа функционирования биокомпьютера (цитокомпьютера)
von: Герасимов, И.Г., et al.
Veröffentlicht: (2014)

Принятие решений на основе параллельных алгоритмов тестового распознавания образов
von: Янковская, А.Е., et al.
Veröffentlicht: (2010)

Параллельный генетический алгоритм с нечетким оператором миграции
von: Кныш, Д.С., et al.
Veröffentlicht: (2010)

Новий метод прогнозування із застосуванням паралельно-ієрархічної мережі
von: Тимченко, Л.І., et al.
Veröffentlicht: (2012)

Композиційно-номінативні логіки над ієрархічними даними
von: Нікітченко, М.С., et al.
Veröffentlicht: (2010)

Композиційно-номінативні логіки з непрямим іменуванням
von: Россада, Т.В., et al.
Veröffentlicht: (2012)

Spin Magnetism of Finite Length Carbon Nanotubes
von: Klimko, G.T., et al.
Veröffentlicht: (2012)

Відновлення розривних функцій розривними апроксимаційними cплайнами з використанням трапецієподібних елементів
von: Литвин, О.М., et al.
Veröffentlicht: (2012)

Высокоэффективные алгоритмы управления шагом на основе параллельных коллокационных блочных методов
von: Дмитриева, О.А.
Veröffentlicht: (2012)

Математическое моделирование отношений эллипсов в задачах оптимальной кластеризации объектов
von: Панкратов, А.В., et al.
Veröffentlicht: (2012)

Наближене обчислення подвійних інтегралів від швидкоосцилюючих функцій з використанням лагранжевої поліномінальної інтерлінації
von: Литвин, О.М., et al.
Veröffentlicht: (2012)

Наближене обчислення коефіцієнтів Фур’є функцій трьох змінних на класі диференційовних функцій
von: Литвин, О.М., et al.
Veröffentlicht: (2012)

Интеллектуальный персональный компьютер гибридной архитектуры
von: Молчанов, И.Н., et al.
Veröffentlicht: (2012)

Параллельный алгоритм вычисления циклической свертки
von: Терещенко, А.Н., et al.
Veröffentlicht: (2012)

Компоненты информационно-аналитической системы прогнозирования наводнений в предгорьях из-за быстрого снеготаяния
von: Писаренко, В.Г., et al.
Veröffentlicht: (2012)

Алгоритмическая и программная реализация DSM-памяти
von: Буза, М.К.
Veröffentlicht: (2012)

Сравнение методов решения игровых задач: числовые эксперименты
von: Емец, О.А., et al.
Veröffentlicht: (2014)

Про стійкість у моделях математичної епідеміології на основі функцій Ляпунова-Вольтера
von: Кучвара, О.М.
Veröffentlicht: (2014)

An Algorithm for Simulation of Forest Management Decisions in the Global Forest Model
von: Gusti, M.I.
Veröffentlicht: (2010)

Symbolic modeling of basic protocols systems with arbitrary number of agents
von: Potiyenko, S.V.
Veröffentlicht: (2013)

Оптоелектронний навчений класифікатор
von: Кожем’яко, В.П., et al.
Veröffentlicht: (2013)

Имитационная модель векторного процессора на примере задачи поиска пути в графе
von: Вереник, Н.Л., et al.
Veröffentlicht: (2013)

Инструментальные средства проектирования параллельных программ
von: Буза, М.К.
Veröffentlicht: (2010)

Дослідження спотворень огинаючих фрагментів відеосигналів
von: Бовсунівський, В.І.
Veröffentlicht: (2011)

Алгоритм ранжирования признаков для обнаружения биомаркеров в данных генной экспрессии
von: Новоселова, Н.А., et al.
Veröffentlicht: (2013)

Использование экспертной системы в информационной технологии распараллеливания решения нелинейных уравнений
von: Усова, Т.И.
Veröffentlicht: (2010)