АДАПТАЦИЯ АЛГОРИТМА НАХОЖДЕНИЯ ОРТОГОНАЛЬНОГО НАБОРА К ДОКАЗАТЕЛЬСТВАМ В ЛОГИКЕ ПРЕДИКАТОВ

Лаврушина, В.Б., Севастопольский национальный технический университет; Пластун, Т.В., Севастопольский национальный технический университет; Новоселов, В.Г., Севастопольский национальный технический университет проф., канд. физ.-мат. наук;

Главная
→
Вестник СевГТУ. Информатика, электроника, связь
→
2003 (Выпуск 47)
→
Просмотр элемента

АДАПТАЦИЯ АЛГОРИТМА НАХОЖДЕНИЯ ОРТОГОНАЛЬНОГО НАБОРА К ДОКАЗАТЕЛЬСТВАМ В ЛОГИКЕ ПРЕДИКАТОВ

Лаврушина, В.Б., Севастопольский национальный технический университет; Новоселов, В.Г., Севастопольский национальный технический университет проф., канд. физ.-мат. наук;; Пластун, Т.В., Севастопольский национальный технический университет

URI: http://hdl.handle.net/123456789/838

Дата: 2003

Аннотации:

Предлагается алгоритм нахождения ортогонального набора, применяемый для доказательства тождественности утверждений логики высказываний, рас- пространить на логику предикатов. Приводится формулировка метода, структу- ры данных и пример. Особое внимание обращено на процедуру унификации.