Математика и логика: примеры вычислений и алгоритмов