726G35 · 7,5 hp · Grundnivå (G1N) · Matematik
Diskret matematik och logik
Ges · nästa start HT 2026
82 %
klarade senaste ordinarie tillfället
STN1 · 14 jan 2026 · 83 studenter
78 %
klarade de ordinarie tillfällena, alla tillfällen de senaste 5 åren
STN1 · 369 studenter
43 %
Svårare än 43 % av kurserna på grundnivå
Jämfört med 874 kurser på samma nivå, ordinarie tentor de senaste tre läsåren. 170 studenter.
Ingår i 1 program
Övrigt moment
STN1 Skriftlig tentamen
- VG
- G
- U
Ordinarie tillfällen
78 % godkända · 369 studenter
- 82 %83
- 82 %87
- 77 %79
- 70 %63
- 75 %57
Senare tillfällen
44 % godkända · 159 studenter
- 50 %12
- 38 %13
- 83 %6
- 35 %26
- 54 %13
- 22 %23
- 29 %14
- 45 %29
- 50 %6
- 76 %17
- Klarar ett senare tillfälle: 44 % (159 studenter), jämfört med 78 % (369 studenter) på ordinarie
- Får VG: 33 % (528 studenter)
Övriga moment
Deltentor, inlämningar och laborationer. De ingår inte i siffrorna överst.
Övrigt moment
SRE1 Skriftlig redovisning, inlämningsuppgifter
- G
Ordinarie tillfällen
100 % godkända · 348 studenter
- 100 %78
- 100 %78
- 100 %72
- 100 %61
- 100 %59
Senare tillfällen
Inga tillfällen med minst 5 studenter.
Om kursen
Mål
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
Innehåll
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.
- Examinator
- Daniel Carlsson
- Huvudområde
- Matematik