ФОРМАЛИЗАЦИЯ ЗНАНИЙ

выражение содержания знания в точно определенных понятиях и утверждениях, осуществляемое чаще всего с помощью математического или логического аппарата.