http://scholar.sjp.ac.lk/sites/default/files/lanel/files/lecture_6_8.pdfClass: AMT 313 1.0 Computational Discrete Mathematics