Last modified: 20 Oct 2020 16:10
This course provides a basic-level introduction to some areas of Discrete Mathematics that are of particular relevance to Computing. The course starts with a simple introduction to formal languages (starting from Regular Expressions and Finite-State Automata); it continues with an introduction to Predicate Logic (assuming basic familiarity with Propositional Logic); it concludes with an introduction to probability, focussing on Bayesian reasoning.
|Session||First Sub Session||Credit Points||15 credits (7.5 ECTS credits)|
Three main topics will be covered: 1. Introduction to formal languages: finite-state machines, regular expressions, Kleene's theorem, pushdown automata, context-free languages. 2. Introductory statistics for computing: Probability, Combinations, Permutations, Bayes' rule; the noisy channel model; principles of descriptive and inferential statistics; principles of hypothesis testing (null hypothesis, type-1 and type-2 errors, etc). 3. Topics in logic and set theory, including an introduction to predicate logic.
Information on contact teaching time is available from the course guide.
3x MCQ Class Test (30%) (30%) (40%)
There are no assessments for this course.
|Knowledge Level||Thinking Skill||Outcome|