Формализация задачи — описание задачи формальными средствами (символами математики и мате-матич. логики). Систему таких символов и правил обращения с ними называют формализмом данной науки. Он помогает производить логич. заключения, подсчеты и др. операции непосредственно с символами, формулами, выступающими как бы заместителями тех понятий, к-рыми мы оперируем. Нередко одна и та же формула применяется для описания разных явлений. Поэтому формализов. язык обязательно требует объяснения (интерпретации).