MA-224 Discrete mathematics 2
- ECTS Credits:
- 7.5
- Responsible department:
- Faculty of Engineering and Science
- Course Leader:
- Andreas Prinz
- Lecture Semester:
- Autumn
- Teaching language:
- English
- Duration:
- 1 term
The course is connected to the following study programs
- Computer Engineering, Bachelor's Programmme
- Artificial Intelligence, 5-year master programme
Teaching language
EnglishRecommended prerequisites
MA-180-G Discrete mathematics 1, or the equivalent.
Course contents
General: induction, proof, recursion, correctness
Relations: equivalence, order, recurrence relation Formal models: finite state machines, regular expressions, Turing machines, grammars, number theory, (mathematical) groups, linear codes, RSA-algorithm.
Theorems: Lagranges theorem, Eulers theorem, Fermats (little) theorem
Learning outcomes
On successful completion of the course, the student should:
-
have advanced knowledge of logics, computability, relations and grammar including their application.
-
have a basic understanding of number theory and group theory and their relationship.
-
be able to use recursion and induction.
-
be able to describe formal languages using automata and grammars.
-
be able to identify and create mathematical relations.
-
be able to create and solve recurrence relations.
-
understand number theory and group theory related to defining and using the RSA algorithm.
-
be able to use linear codes and analyse possibilities of error correction.
General knowledge:
-
be able to lead mathematical proofs.
-
be able to understand and use mathematical models.
Examination requirements
Compulsory assignments must be approved in order to take the examination. Information about compulsory assignments will be given in Canvas at the start of the semester.
Teaching methods
Lectures, self-study, exercises and compulsory assignments. An overview of compulsory assignments is given at the beginning of the semester.
Expected workload for the average students is approximately 200 hours.
Evaluation
The person responsible for the course decides, in cooperation with student representative, the form of student evaluation and whether the course is to have a midway or end of course evaluation in accordance with the quality system for education, chapter 4.1.
Offered as Single Standing Module
Yes. Subject to availability or capacity.
Admission Requirement if given as Single Standing Module
Higher Education Entrance Qualification including mathematics R1 and R2 and physics Fysikk 1, or a pass in the preliminary course examination for engineers (which is also offered at University of Agder).
Assessment methods and criteria
6 hours written examination. Graded assessment.
Reduction of Credits
This course’s contents overlap with the following courses. A reduction of credits will occur if one of these courses is taken in addition:
Course | Reduction of Credits |
---|---|
MA-221 – Discrete mathematics | 5 |