Формальные модели в науке: примеры и объяснения