Discrete Structures
CS 205 is an undergraduate level course taught by Prof. Nitesh Saxena (Fall 2019 at UAB) and Prof. Ragib Hasan (Spring 2020, Spring 2021). Students learn discrete mathematics for computer science, including elementary propositional and predicate logic, sets, relations, functions, counting, elementary graph theory, proof techniques including proof by induction, proof by contradiction, and proof by construction. I held regular office hours, graded homeworks and exams.