# CS2013: Mathematics for Computing Science

This course provides a basic-level introduction to some areas of Discrete Mathematics that are of particular relevance to Computing.

- Introduction to Formal Languages
- Basic concepts in Formal Languages
- Regular languages
- Context-free languages

- Introduction to Formal Logic
- Propositional logic as a formal language
- Introduction to Predicate Logic and the idea of expressive power
- Proof methods: Mathematical Induction and Proof by Contradiction

- Introduction to Probability and Computing
- Basics of frequentist probability
- Bayes' Law and Bayesian Statistics
- Applications of Bayesian Statistics

The course coordinator is Kees van Deemter.