Методы формализации информации: от теории к практике