The University of Aberdeen
The Computing Science Department

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.

  1. Introduction to Formal Languages
    1. Basic concepts in Formal Languages
    2. Regular languages
    3. Context-free languages
  2. Introduction to Formal Logic
    1. Propositional logic as a formal language
    2. Introduction to Predicate Logic and the idea of expressive power
    3. Proof methods: Mathematical Induction and Proof by Contradiction
  3. Introduction to Probability and Computing
    1. Basics of frequentist probability
    2. Bayes' Law and Bayesian Statistics
    3. Applications of Bayesian Statistics

The course coordinator is Kees van Deemter.