Методы и примеры логико-смыслового моделирования