Algebra for Computer Science