Вивчення моделей подання знань в курсі інформатики вищого педагогічного навчального закладу