Zaslat SMS: Логические методы построения математических моделей