Mathematics for Computer Scientists III