Course - Discrete Mathematics - TMA4140
TMA4140 - Discrete Mathematics
About
Examination arrangement
Examination arrangement: School exam
Grade: Letter grades
| Evaluation | Weighting | Duration | Grade deviation | Examination aids |
|---|---|---|---|---|
| School exam | 100/100 | 4 hours | C |
Course content
The course gives an introduction to mathematical logic and set theory, and elementary number theory with modular arithmetic. Other central topics are: Sequences, recurrence relations, mathematical induction and combinatorial counting methods with applications. Moreover, the course gives an introduction to the theory of relations, graphs and trees, as well as formal languages, grammars and finite automata.
Learning outcome
1. Knowledge. The student has a basic knowledge of mathematical logic, set theory and combinatorial counting methods. The student is familiar with elementary number theory, including the chinese remainder theorem and Fermat's little theorem. The student has knowledge of recursion an induction, as well as relations, graphs and trees. The student also has basic knowledge of formal languages, grammars and finite automata. 2. Skills. The student is able to make practical use of elementary logic and set theory, can apply Euclid's algorithm, and is proficient in modular arithmetic. The student can solve systems of linear congruences using the chinese remainder theorem, can write simple proofs using induction, and is able to recognize, understand and apply concepts such as relations, graphs and trees in applications, for example in information technology. Moreover, the student is able to apply combinatorial counting methods to solve practical problems, and can make practical use of finite automata.
Learning methods and activities
Lectures and compulsory exercises.
Compulsory assignments
- Exercises
Further on evaluation
Grade based on written final written examination. Retake of examination may be given as an oral examination.
Specific conditions
Compulsory activities from previous semester may be approved by the department.
Recommended previous knowledge
None.
Course materials
Will be announced at the start of the semester.
Credit reductions
| Course code | Reduction | From | To |
|---|---|---|---|
| SIF5015 | 7.5 | ||
| MA0302 | 3.7 | AUTUMN 2007 | |
| MA0301 | 3.7 | AUTUMN 2007 |
Version: 1
Credits:
7.5 SP
Study level: Foundation courses, level I
Term no.: 1
Teaching semester: AUTUMN 2022
Language of instruction: -
Location: Trondheim
- Technological subjects
Department with academic responsibility
Department of Mathematical Sciences
Examination
Examination arrangement: School exam
- Term Status code Evaluation Weighting Examination aids Date Time Examination system Room *
- Autumn ORD School exam 100/100 C 2022-12-15 15:00 INSPERA
-
Room Building Number of candidates - Summer UTS School exam 100/100 C INSPERA
-
Room Building Number of candidates
- * The location (room) for a written examination is published 3 days before examination date. If more than one room is listed, you will find your room at Studentweb.
For more information regarding registration for examination and examination procedures, see "Innsida - Exams"