The course is connected to the following study programs

  • Computer Engineering, Bachelor's Programmme
  • Artificial Intelligence, 5-year master programme

Teaching language

English

Recommended 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:

  • be able to lead mathematical proofs.

  • be able to understand and use mathematical models.

  • 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.

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

4-hour written exam (50%) and portfolio assessment (50%). Graded result. The portfolio consists of digital tests and more information regarding its contents will be provided in Canvas at the start of the semester.

There will be no resit exam for the portfolio 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
Last updated from FS (Common Student System) June 30, 2024 11:37:44 PM