The Beauty of Mathematics in Computer Science