discrete mathematics with computer science applications | Comidoc