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

Логики квазиарных предикатов первого порядка

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2010
Автор:	Шкильняк, С.С.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/45645
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Логики квазиарных предикатов первого порядка / С.С. Шкильняк // Кибернетика и системный анализ. — 2010. — № 6. — С. 32–50. — Бібліогр.: 15 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
за авторством: Чеботарев, А.Н.
Опубліковано: (2017)

Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2017)

Классификация поражений глазодвигательных мышц с использованием аппарата нечеткой логики
за авторством: Кочина, М.Л., та інші
Опубліковано: (2011)

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

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

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

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

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

Нелокальная задача типа Стефана для гиперболической системы первого порядка
за авторством: Кирилич, В.М.
Опубліковано: (1988)

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

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

К вопросу о построении периодических решений квазилинейных дифференциальных уравнений первого порядка
за авторством: Елисеенко, М.Н., та інші
Опубліковано: (1983)

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

Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
за авторством: Чеботарев, А.Н.
Опубліковано: (2018)

Колеблемость решений одного класса функционально-дифференциальных уравнений первого порядка нейтрального типа
за авторством: Иванов, А.Ф., та інші
Опубліковано: (1989)

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

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

Эквивалентность регулярных выражений в частично коммутативном алфавите
за авторством: Шукурян, А.С.
Опубліковано: (2009)

Формирование минимальных d-сепараторов в системе зависимостей
за авторством: Балабанов, А.С.
Опубліковано: (2009)

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

Некоторые подходы к моделированию цен в эколого-экономической системе
за авторством: Григоркив, В.С.
Опубліковано: (2009)

Композиционно-номинативные аспекты адресного программирования
за авторством: Никитченко, Н.С.
Опубліковано: (2009)

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

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

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

Специализированные клеточные структуры для контурного анализа изображений
за авторством: Белан, С.Н.
Опубліковано: (2011)

Покрытия множеств и отношение толерантности
за авторством: Герасин, С.Н., та інші
Опубліковано: (2008)

Информационно-экстремальный метод классификации наблюдений с категориальными признаками
за авторством: Довбыш, А.С., та інші
Опубліковано: (2016)

Пропозициональные логики доверия
за авторством: Бурдюк, В.Я.
Опубліковано: (2011)

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

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

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

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Эквивалентность двумерных многоленточных автоматов
за авторством: Григорян, А.А., та інші
Опубліковано: (2008)

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

Идентификация моделей и оценка состояния Grid-систем
за авторством: Лавренюк, С.И., та інші
Опубліковано: (2009)

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. II. Алгоритмы построения диаграмм Вороного на основе теории оптимального разбиения множеств
за авторством: Киселева, Е.М., та інші
Опубліковано: (2015)

Алгоритм формирования электронной цифровой подписи с возможностью обнаружения и исправления ошибки
за авторством: Бияшев, Р.Г., та інші
Опубліковано: (2012)

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