Визуализация формальных логических моделей: примеры и схемы