Формальное описание объектов и процессов в информатике: теория и примеры