Discrete mathematics

The course is a compulsory course in the Software Engineering and Management, Bachelor's Programme (N1SOF).

The course is a also a single-subject course at Gothenburg University.

The course provides basic knowledge of discrete mathematical structures that are needed as prerequisites for further university studies in computing and programming. The course emphasizes the important role of mathematics in the student's future studies and in computer science as a whole. The course provides a thorough introduction to discrete mathematics. To this end, basic concepts such as sets, logic, proofs, functions, sequences and graphs are introduced.

On successful completion of the course the student will be able to:

Knowledge and understanding

• explain terminology and properties of commonly used discrete structures (for example, integers and graphs),
• explain proof techniques (such as contradiction or proof by induction) for discrete structures and iterative processes

Competence and skills

• choose and apply appropriate mathematical arguments to describe and reason about common discrete problems
• conduct and present own mathematical reasoning and proofs

Judgement and approach

• identify and use appropriate techniques to prove statements about discrete structures
• assess and criticize mathematical reasoning and evidence presented by a third party

The teaching consists of lectures and exercises, as well as supervision in connection to the exercises.

Language of instruction: English

The course is examined by an individual written hall exam at the end of the course and written assignments normally carried out in groups of students. The assignments part is examined on the basis of solutions to compulsory problems handed in during the course and on the basis of individual contribution to the groups work.

If a student who has twice received a failing grade for the same examination component wishes to change examiner ahead of the next examination session, such a request should be made to the department in writing and should be approved by the department unless there are special reasons to the contrary (Chapter 6 Section 22 of the Higher Education Ordinance).

If a student has received a recommendation from the University of Gothenburg for study support for students with disabilities, the examiner may, where it is compatible with the learning outcomes of the course and provided that no unreasonable resources are required, decide to allow the student to sit an adjusted exam or alternative form of assessment.

In the event that a course has ceased or undergone major changes, students are to be guaranteed at least three examination sessions (including the ordinary examination session) over a period of at least one year, but no more than two years after the course has ceased/been changed. The same applies to internships and professional placements (VFU), although this is restricted to just one additional examination session.

Sub-courses

1. Written exam, 4.5 credits
   Grading scale: Pass with distinction (5), Pass with credit (4), Pass (3) and Fail (U)
2. Assignements, 3 credits
   Grading scale: Pass (G) and Fail (U)

The grading scale comprises: Pass with distinction (5), Pass with credit (4), Pass (3) and Fail (U).

In order to pass the course both the assignments and the written hall examination have to be approved. The final grade in the course is decided from the grade of the written hall examination.

The results of and possible changes to the course will be shared with students who participated in the evaluation and students who are starting the course.