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

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

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

dc.contributor.author	Лаврушина, В.Б., Севастопольский национальный технический университет
dc.contributor.author	Новоселов, В.Г., Севастопольский национальный технический университет проф., канд. физ.-мат. наук;
dc.contributor.author	Пластун, Т.В., Севастопольский национальный технический университет
dc.date.accessioned	2010-04-08T06:23:06Z
dc.date.available	2010-04-08T06:23:06Z
dc.date.issued	2003
dc.identifier.citation	Вестник СевГТУ.- Вып. 47.- С.56-61	en_US, ru, uk
dc.identifier.uri	http://hdl.handle.net/123456789/838
dc.description	Дискретная математика	en_US, ru, uk
dc.description.abstract	Предлагается алгоритм нахождения ортогонального набора, применяемый для доказательства тождественности утверждений логики высказываний, рас- пространить на логику предикатов. Приводится формулировка метода, структу- ры данных и пример. Особое внимание обращено на процедуру унификации.	en_US, ru, uk
dc.publisher	Севастопольский национальный технический университет	en_US, ru, uk
dc.title	АДАПТАЦИЯ АЛГОРИТМА НАХОЖДЕНИЯ ОРТОГОНАЛЬНОГО НАБОРА К ДОКАЗАТЕЛЬСТВАМ В ЛОГИКЕ ПРЕДИКАТОВ	en_US, ru, uk
dc.type	Book chapter	en_US, ru, uk