Описание:Курс читается для студентов бакалавриата з г.о. обучающихся по направлению "Математика и компьютерные науки" .
В курсе рассматриваются алгоритмы извлечения знаний на основе систем резолютивного вывода и его модификаций, продукционных систем, рекурсивных и сетевых моделей. Обсуждаются вопросы практической реализации алгоритмов такого типа на компьютере, включая различного вида эвристики.Рассматриваются различные модели алгоритмов и связанные с ними вопросы теоретического и прикладного характера.