| dc.contributor.author | Семеренко, В. П. | ru, uk |
| dc.date.accessioned | 2016-05-19T11:55:45Z | |
| dc.date.available | 2016-05-19T11:55:45Z | |
| dc.date.issued | 1997 | |
| dc.identifier.citation | Семеренко В. П. Автоматизация логического вывода в исчислении предикатов / В. П. Семеренко // Сборник научных трудов Шестой Международной конференции «Знания – Диалог – Решение» (KDS-97). Украина, Ялта, 15-20 сентября 1997. – Ялта, 1997. - Т. 1. – С. 187-195. | ru |
| dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/10189 | |
| dc.description.abstract | Рассмотрена интерпретация формул исчисления предикатов первого порядка на конечной предметной области с помощью алгебры кубических функций. Предложена машинно-ориентированная стратегия логического вывода на основе выполнения операций над кубическими покрытиями. | ru |
| dc.description.abstract | Розглянута інтерпретація формул числення предикатів першого порядку на кінцевій предметній області за допомогою алгебри кубічних функцій. Запропонована машинно-орієнтована стратегія логічного виведення на основі виконання операцій над кубічними покриттями. | uk |
| dc.description.abstract | The 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.language.iso | ru | ru |
| dc.publisher | Ассоциация создателей и пользователей интеллектуальных систем | ru |
| 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.subject | systolic structure | en |
| dc.subject | normal forms | en |
| dc.subject | cubic coverings | en |
| dc.subject | unification | en |
| dc.subject | propositional calculus | en |
| dc.title | Автоматизация логического вывода в исчислении предикатов | ru |
| dc.type | Article | |
