Αποστολή με SMS: Логика и компьютер; Моделирование рассуждений и проверка правильности программ