Компьютерное представление и обработка знаний на примере теорем об аналогиях математических моделейстатья