SMS versenden: Логические методы построения математических моделей; Опыт формализации в системном анализе воспроизводства трудовых ресурсов