On successful completion of the course, the students should be able to understand fundamental concepts, notation and results of algebra, mathematical logic, number theory and formal languages, and be able to apply them to information and communication technology.
Finite algebraic structures, with applications to information processing and communications engineering. Logics with applications. Number theory and modular arithmetic with applications. Finite state machines and formal languages. Groups, coding theory and finite fields with applications.
Lectures, seminars, exercises and self-study.
The work load for the average student is approximately 270 hours.
Students must pass the compulsory assignments in order to take the examination. Information about the compulsory assignments will be given in the LMS at the start of the course.
Assessment methods and criteria
Written examination, 4 hours. Graded assessment.
The study programme manager, in consultation with the student representative, decides the method of evaluation and whether the courses will have a midterm- or end of term evaluation, see also the Quality System, section 4.1. Information about evaluation method for the course will be posted on Canvas.