Как называется метод, отображения объекта или явления в знаковой форме некоторого искусственного языка, что дает возможность исследовать реальные объекты и их свойства путем формального исследования соответствующих знаков?