1. Express a logic statement in terms of predicates, quantifiers and logical connectives. 2. Prove a statement using direct/indirect approaches. 3. Apply elementary number theory to proof problems on divisibility and prime numbers. 4. Use mathematical inductions to prove sequence expressions. 5. Identify the differences between weak and strong induction. 6. Solve elementary set problems with setalgebraion: Restricted 7. Distinguish functions which are injective and/or surjective. 8. Solve problems which involve composite functions. 9. Employ the principle of inclusion/exclusion rule and pigeonhole principle to solve combinatorial problems. 10. Solve discrete probability problems. 11. Use binomial theorem to solve sequence problems. 12. Understand the basic concepts of trees and graphs.