Mathematics of computing