ProgrammesModule: Discrete Mathematics
Course Title: Discrete Mathematics
Course Code: UU-MTH-1005-MW
Programme: Bachelor of Science (BSc) in Computer Science - MW
This module introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. It teaches the students techniques in how to think logically and mathematically and apply these techniques in solving problems.
The aim of this module is to provide the mathematical background to students in order to be able to formulate what a computer system is supposed to do, to prove that it does meet its specifications or to reason about its efficiency.
Module Learning Outcomes
After completion of the module students should be able to:
- Provide overview of theory of discrete objects, starting with relations and partially ordered sets.
- Explain and construct mathematical arguments and prove them.
- Develop recursive algorithms based on mathematical induction
- Plot various graphs and trees, which are widely used in software.
- Apply knowledge about models of automata theory and the corresponding formal languages.
- Apply knowledge about discrete mathematics in problem solving
- Apply appropriate quantitative methods to solve particular types of business problems
- Describe basic properties of relations
- Explain recurrence relations, generating functions and operations on them.
Prerequisites: UU-BA-IND100, UU-FNT-103
Prerequisites Categories: -
Typical Module duration: 7.0