726G35 · 7.5 credits · Basic level (G1N) · Matematik
Discrete Mathematics and Logic
Active · next start HT 2026
82%
passed the latest regular sitting
STN1 · 14 Jan 2026 · 83 students
78%
passed the regular sittings, all sittings over the last 5 years
STN1 · 369 students
43%
Harder than 43% of courses at basic level
Compared with 874 courses at the same level, ordinary exams over the last three academic years. 170 students.
Part of 1 programme
Other module
STN1 Written exam
- VG
- G
- U
Main rounds
78% passed · 369 students
- 82%83
- 82%87
- 77%79
- 70%63
- 75%57
Later rounds
44% passed · 159 students
- 50%12
- 38%13
- 83%6
- 35%26
- 54%13
- 22%23
- 29%14
- 45%29
- 50%6
- 76%17
- Pass a later round: 44% (159 students), compared with 78% (369 students) on the ordinary exam
- Get VG: 33% (528 students)
Other modules
Partial exams, hand-ins and labs. They are not part of the figures at the top.
Other module
SRE1 Written account, submission taskinformation
- G
Main rounds
100% passed · 348 students
- 100%78
- 100%78
- 100%72
- 100%61
- 100%59
Later rounds
No sittings with at least 5 students.
About the course
Aim
Efter avslutad kurs ska den studerande kunna:
- tillämpa mängdlärans formelspråk och operationer
- strukturera, formulera och lösa kombinatoriska problem inom området
- redogöra för grafteorins grundläggande begrepp, samt använda grafer som verktyg vid modellering
- använda det satslogiska språket och vara förtrogen med logiska operationer
- utvärdera logiska slutledningars giltighet
- redogöra för definitioner och motivera egenskaper hos relationer och funktioner
Content
I kursen behandlas talföljder, mängdlärans formelspråk och operationer, samt strukturering, formulering och lösning av kombinatoriska problem med permutationer och kombinationer. Vidare behandlas grafteorins grundläggande begrepp, grafer som verktyg vid modellering i tillämpningar samt relationer, speciellt ekvivalensrelationer respektive funktioner. I kursen tas även det satslogiska språket och logiska operationerna samt bedömning av logiska slutledningars giltighet med hjälp av naturlig deduktion samt reduktionsmetod upp.
- Examiner
- Daniel Carlsson
- Main field of study
- Matematik