discrete mathematics for computing i cv honors