What you will learn

• Use propositional and predicate logic to model and reason about computer science problems.

• Use permutations, combinations, and inclusion–exclusion to solve combinatorial problems.

• Analyse uncertainty using probability, conditional probability, and random variables.