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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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