Mathematical Logic course provides a rigorous exposure concerning mathematical logic for computer science. There are five main topics in this course, i.e.: propositional logic, first-order predicate logic, mathematical proof methods, mathematical induction, and elementary set theory. These topics are grouped into four course learning outcomes (CLO), namely: CLO 1 (propositional logic), CLO 2 (first-order predicate logic), CLO 3 (mathematical proof methods and mathematical induction), and CLO 4 (elementary set theory). The materials relating to propositional logic include: truth value of a propositional formula, conversion of natural language sentences to propositional formulas, and inference methods for propositional calculus. For the predicate logic topic, the materials include: interpretation and truth of simple predicate formulas, conversion of natural language sentences to predicate formulas, inference method for predicate calculus, and introduction to Prolog as declarative-logic programming framework. The students will also learn elementary mathematical proof methods and two elementary types of mathematical induction (the ordinary mathematical induction and the strong induction). The final topic of the course is elementary set theory, which covers set definition and notation, elementary set relation, basic set operations, and inclusion-exclusion principle.