ПОДСИСТЕМА ОБУЧЕНИЯ И КОНТРОЛЯ ПРЕОБРАЗОВАНИЙ УТВЕРЖДЕНИЙ В ЯЗЫКЕ ЛОГИКИ ПРЕДИКАТОВ

Лаврушина, В.Б., Севастопольский национальный технический университет

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

dc.contributor.author	Лаврушина, В.Б., Севастопольский национальный технический университет
dc.date.accessioned	2010-04-08T08:10:54Z
dc.date.available	2010-04-08T08:10:54Z
dc.date.issued	2004
dc.identifier.citation	Вестник СевГТУ.- Вып.60.- С.53-58	en_US, ru, uk
dc.identifier.uri	http://hdl.handle.net/123456789/887
dc.description	Логика предикатов	en_US, ru, uk
dc.description.abstract	Рассматривается задача создания обучающей подсистемы в рамках методологии ОККАМ [1] для обучения алгоритму сокращенного переборного поиска опровергающего набора, используемому для доказательства утверждений в языке логики предикатов. Описывается подход к анализу ошибок обучаемого, возникающих в процессе решения данной задачи. Особое внимание обращается на обеспечение полноты контроля и адекватности комментариев в случае обнаружения ошибки.	en_US, ru, uk
dc.publisher	Севастопольский национальный технический университет	en_US, ru, uk
dc.title	ПОДСИСТЕМА ОБУЧЕНИЯ И КОНТРОЛЯ ПРЕОБРАЗОВАНИЙ УТВЕРЖДЕНИЙ В ЯЗЫКЕ ЛОГИКИ ПРЕДИКАТОВ	en_US, ru, uk