Modelling Computing Systems: Mathematics for Computer Science: The Mathematics of Computer Science (Undergraduate Topics in Computer Science)