Толковый словарь терминов понятийного аппарата информатизации образования
ФОРМАЛИЗАЦИЯ ЗНАНИЙ
представление знаний в формализованной структуре средствами математической логики. Построение логических исчислений в математической логике позволяет применить ее средства к формализации целых областей науки. При этом области знания, формализованные средствами математической логики, приобретают вид формальных систем [41; 44, c. 194; 49, c. 69].