Linguaggi e calcoli. Principi matematici del coding