AMT 313 1.0 Computational Discrete Mathematics