With this course, students can cover the following areas:
Fundamentals, Logic, Propositional Equivalences, Logic Proofs, Logic and Bit Operations, Introduction to Predicate Logic, Sets, Proofs, and Laws of Sets, Mathematical Reasoning, Functions, Sequences and Summations, Writing Algorithms, Evaluation Algorithms, Number theory, Integer and Algorithms, Applications of Number Theory, Matrices, Induction, Strong Induction, and Wellordering, Recursion, and Recursive Definitions.
