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

изложение его посредством формализованного языка, которое сулит целый ряд преимуществ, связанных с обоснованием теорем (законов) и обеспечением вычислительных операций.