Mathematical foundations of computing including: set theory, propositional and predicate logic, arguments and patterns of inference, proofs of correctness and mathematical induction. Formal logic, argumentation and verification (proof) are also examined in the context of 'every day' critical thinking.