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%)
Alternative Resit Arrangements for students taking course in Academic Year 2020/21
Where a student fails the course overall they will be afforded the opportunity to resit those parts of the course that they failed (pass marks will be carried forward).
Alternative Resit Arrangements for students who took the course in Academic Year 2019/20 and C8 students
Exam 75%, Corusework carried forward 25%
There are no assessments for this course.
|Knowledge Level||Thinking Skill||Outcome|