Mathematical Foundations for Computer Science Tutors in Duino, Italy