<link rel="stylesheet" href="styles.f3b1fba60ec7970c.css">

Автоматизация логического вывода в исчислении предикатов

Скорочена інформація про документ
dc.contributor.authorСемеренко, В. П.uk
dc.titleАвтоматизация логического вывода в исчислении предикатовru
dc.date.issued1997
dc.publisherАссоциация создателей и пользователей интеллектуальных системru
dc.identifier.citationСемеренко В. П. Автоматизация логического вывода в исчислении предикатов / В. П. Семеренко // Сборник научных трудов Шестой Международной конференции «Знания – Диалог – Решение» (KDS-97). Украина, Ялта, 15-20 сентября 1997. – Ялта, 1997. - Т. 1. – С. 187-195.ru
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/10189
dc.description.abstractРассмотрена интерпретация формул исчисления предикатов первого порядка на конечной предметной области с помощью алгебры кубических функций. Предложена машинно-ориентированная стратегия логического вывода на основе выполнения операций над кубическими покрытиями.ru
dc.description.abstractРозглянута інтерпретація формул числення предикатів першого порядку на кінцевій предметній області за допомогою алгебри кубічних функцій. Запропонована машинно-орієнтована стратегія логічного виведення на основі виконання операцій над кубічними покриттями.uk
dc.description.abstractThe interpretation of the formula of first-order logic on the finite data domain by means of the algebra of cubic functions is considered. The machine oriented inference method based on execution of operations with the cubic coverings is proposed.en
dc.subjectисчисление высказыванийru
dc.subjectнормальные формыru
dc.subjectсистолические структурыru
dc.subjectисчисление предикатовru
dc.subjectкубические покрытияru
dc.subjectоперация унификацииru
dc.subjectчислення висловлюваньuk
dc.subjectнормальні формиuk
dc.subjectсистолічні структуриuk
dc.subjectчислення предикатівuk
dc.subjectкубічні покриттяuk
dc.subjectоперація уніфікаціїuk
dc.subjectsystolic structureen
dc.subjectnormal formsen
dc.subjectcubic coveringsen
dc.subjectunificationen
dc.subjectpropositional calculusen
dc.typeArticle
dc.language.isoruru
dc.date.accessioned2016-05-19T11:55:45Z
dc.date.available2016-05-19T11:55:45Z

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
1997.pdf
Розмір:
98,38 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
2,14 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Наукові видання каф. ОТ