Eksamenssett logo
eksamenssett.noTren målrettet
  • Ungdomsskole/VGS
  • Høyskole
  • Ressurser
  • Privatundervisning
  • Kontakt
eksamenssett.noTren målrettet

Komplett samling av eksamensoppgaver og løsninger for norsk skole.

Om ossPrivatundervisningPriserSlik bruker du sidenFAQPersonvernVilkårAngrerettKontaktKI-deklarasjon

© 2026 Eksamenssett.no · Alle rettigheter forbeholdt

Innholdet er utviklet med KI og kvalitetssikres kontinuerlig – av modellene, og ved at våre tusenvis av brukere kan melde fra om feil. Slik jobber vi med kvalitet →

Eksamenssett.no eies og drives av Studenthjelp Privatundervisning AS

Org.nr. 913 117 387 (Foretaksregisteret) · Aksel Olsens vei 10B, 1597 Moss · Ikke MVA-registrert

Eksamenssett logo
eksamenssett.noTren målrettet
  • Ungdomsskole/VGS
  • Høyskole
  • Ressurser
  • Privatundervisning
  • Kontakt
eksamenssett.noTren målrettet

Komplett samling av eksamensoppgaver og løsninger for norsk skole.

Om ossPrivatundervisningPriserSlik bruker du sidenFAQPersonvernVilkårAngrerettKontaktKI-deklarasjon

© 2026 Eksamenssett.no · Alle rettigheter forbeholdt

Innholdet er utviklet med KI og kvalitetssikres kontinuerlig – av modellene, og ved at våre tusenvis av brukere kan melde fra om feil. Slik jobber vi med kvalitet →

Eksamenssett.no eies og drives av Studenthjelp Privatundervisning AS

Org.nr. 913 117 387 (Foretaksregisteret) · Aksel Olsens vei 10B, 1597 Moss · Ikke MVA-registrert

Eksamenssett logo
eksamenssett.noTren målrettet
  • Ungdomsskole/VGS
  • Høyskole
  • Ressurser
  • Privatundervisning
  • Kontakt
eksamenssett.noTren målrettet

Komplett samling av eksamensoppgaver og løsninger for norsk skole.

Om ossPrivatundervisningPriserSlik bruker du sidenFAQPersonvernVilkårAngrerettKontaktKI-deklarasjon

© 2026 Eksamenssett.no · Alle rettigheter forbeholdt

Innholdet er utviklet med KI og kvalitetssikres kontinuerlig – av modellene, og ved at våre tusenvis av brukere kan melde fra om feil. Slik jobber vi med kvalitet →

Eksamenssett.no eies og drives av Studenthjelp Privatundervisning AS

Org.nr. 913 117 387 (Foretaksregisteret) · Aksel Olsens vei 10B, 1597 Moss · Ikke MVA-registrert

Eksamenssett logo
eksamenssett.noTren målrettet
  • Ungdomsskole/VGS
  • Høyskole
  • Ressurser
  • Privatundervisning
  • Kontakt
  1. Hjem
  3. Høyskole
  5. NTNU
  7. TMA4140
  9. Temaprøver
TMA4140

TMA4140 Diskret matematikk

Temaprøver

Øv deg på hvert enkelt tema med realistiske totimersprøver. Perfekt for å styrke svake områder eller teste deg selv før eksamen.

52

prøver

12

temaer

2t

per prøve

01

Logikk og bevisteknikker

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Utsagnslogikk: sannhetstabeller, tautologi, motsigelse, ekvivalensNormalformer: konjunktiv (CNF) og disjunktiv (DNF) normalformLogiske konsekvenser og gyldige slutninger

Om temaprøvene

Hver temaprøve er designet for å ta 2 timer og fokuserer på ett spesifikt tema fra pensum.

Prøvene er laget for å ligne oppgavene du møter på eksamen, men med fokus på ett emne av gangen. Dette gjør det lettere å identifisere og fylle kunnskapshull.

Temaer merket med «Eksamensrelevant» er de som dukker opp på nesten alle eksamener. Start med disse hvis du har begrenset tid.

Temaprøve 1 i hvert tema er gratis. Temaprøve 2–4 krever premium.
eksamenssett.noTren målrettet

Komplett samling av eksamensoppgaver og løsninger for norsk skole.

Om ossPrivatundervisningPriserSlik bruker du sidenFAQPersonvernVilkårAngrerettKontaktKI-deklarasjon

© 2026 Eksamenssett.no · Alle rettigheter forbeholdt

Innholdet er utviklet med KI og kvalitetssikres kontinuerlig – av modellene, og ved at våre tusenvis av brukere kan melde fra om feil. Slik jobber vi med kvalitet →

Eksamenssett.no eies og drives av Studenthjelp Privatundervisning AS

Org.nr. 913 117 387 (Foretaksregisteret) · Aksel Olsens vei 10B, 1597 Moss · Ikke MVA-registrert

Bevismetoder: direkte, kontrapositiv, motsigelse, element-argument
Predikatlogikk: kvantorer, kvantor-negasjon, oversettelse til/fra naturlig språk
Temaprøve 2
2 timer
Utsagnslogikk: sannhetstabeller, tautologi, motsigelse, ekvivalensNormalformer: konjunktiv (CNF) og disjunktiv (DNF) normalformLogiske konsekvenser og gyldige slutningerBevismetoder: direkte, kontrapositiv, motsigelse, element-argumentPredikatlogikk: kvantorer, kvantor-negasjon, oversettelse til/fra naturlig språk
Temaprøve 3
2 timer
Utsagnslogikk: sannhetstabeller, tautologi, motsigelse, ekvivalensNormalformer: konjunktiv (CNF) og disjunktiv (DNF) normalformLogiske konsekvenser og gyldige slutningerBevismetoder: direkte, kontrapositiv, motsigelse, element-argumentPredikatlogikk: kvantorer, kvantor-negasjon, oversettelse til/fra naturlig språk
Temaprøve 4
2 timer
Utsagnslogikk: sannhetstabeller, tautologi, motsigelse, ekvivalensNormalformer: konjunktiv (CNF) og disjunktiv (DNF) normalformLogiske konsekvenser og gyldige slutningerBevismetoder: direkte, kontrapositiv, motsigelse, element-argumentPredikatlogikk: kvantorer, kvantor-negasjon, oversettelse til/fra naturlig språk
02

Mengdelære

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Mengdeoperasjoner: union, snitt, differanse, komplementPotensmengde P(A) og kardinalitetKartesisk produkt og ordnede par (tupler)Mengdelikheter bevist med element-argument (symmetrisk differanse o.l.)Venn-diagram og mengdebygger-notasjon
Temaprøve 2
2 timer
Mengdeoperasjoner: union, snitt, differanse, komplementPotensmengde P(A) og kardinalitetKartesisk produkt og ordnede par (tupler)Mengdelikheter bevist med element-argument (symmetrisk differanse o.l.)Venn-diagram og mengdebygger-notasjon
Temaprøve 3
2 timer
Mengdeoperasjoner: union, snitt, differanse, komplementPotensmengde P(A) og kardinalitetKartesisk produkt og ordnede par (tupler)Mengdelikheter bevist med element-argument (symmetrisk differanse o.l.)Venn-diagram og mengdebygger-notasjon
Temaprøve 4
2 timer
Mengdeoperasjoner: union, snitt, differanse, komplementPotensmengde P(A) og kardinalitetKartesisk produkt og ordnede par (tupler)Mengdelikheter bevist med element-argument (symmetrisk differanse o.l.)Venn-diagram og mengdebygger-notasjon
03

Funksjoner

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Injektiv, surjektiv og bijektiv — definisjoner og bevisBilde (image) og urbilde av en funksjonFunksjonskomposisjon og invers funksjonFunksjoner som mengder av ordnede par og piledagramGulv- og takfunksjon (floor/ceiling) i identiteter
Temaprøve 2
2 timer
Injektiv, surjektiv og bijektiv — definisjoner og bevisBilde (image) og urbilde av en funksjonFunksjonskomposisjon og invers funksjonFunksjoner som mengder av ordnede par og piledagramGulv- og takfunksjon (floor/ceiling) i identiteter
Temaprøve 3
2 timer
Injektiv, surjektiv og bijektiv — definisjoner og bevisBilde (image) og urbilde av en funksjonFunksjonskomposisjon og invers funksjonFunksjoner som mengder av ordnede par og piledagramGulv- og takfunksjon (floor/ceiling) i identiteter
Temaprøve 4
2 timer
Injektiv, surjektiv og bijektiv — definisjoner og bevisBilde (image) og urbilde av en funksjonFunksjonskomposisjon og invers funksjonFunksjoner som mengder av ordnede par og piledagramGulv- og takfunksjon (floor/ceiling) i identiteter
04

Relasjoner

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
De fem egenskapene: refleksiv, irrefleksiv, symmetrisk, antisymmetrisk, transitivEkvivalensrelasjoner og ekvivalensklasserPartielle ordninger og Hasse-diagramRelasjoner definert via en funksjon (a~b hvis f(a)=f(b))Relasjoner representert ved matrise og rettet graf
Temaprøve 2
2 timer
De fem egenskapene: refleksiv, irrefleksiv, symmetrisk, antisymmetrisk, transitivEkvivalensrelasjoner og ekvivalensklasserPartielle ordninger og Hasse-diagramRelasjoner definert via en funksjon (a~b hvis f(a)=f(b))Relasjoner representert ved matrise og rettet graf
Temaprøve 3
2 timer
De fem egenskapene: refleksiv, irrefleksiv, symmetrisk, antisymmetrisk, transitivEkvivalensrelasjoner og ekvivalensklasserPartielle ordninger og Hasse-diagramRelasjoner definert via en funksjon (a~b hvis f(a)=f(b))Relasjoner representert ved matrise og rettet graf
Temaprøve 4
2 timer
De fem egenskapene: refleksiv, irrefleksiv, symmetrisk, antisymmetrisk, transitivEkvivalensrelasjoner og ekvivalensklasserPartielle ordninger og Hasse-diagramRelasjoner definert via en funksjon (a~b hvis f(a)=f(b))Relasjoner representert ved matrise og rettet graf
05

Induksjon og rekursjon

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Matematisk induksjon: basistilfelle og induksjonsstegSterk induksjon med flere basistilfellerRekursivt definerte følger (Fibonacci/Tribonacci-type)Bevis av lukket form for rekurrens ved induksjonStrukturell induksjon på strenger og rekursivt definerte mengder
Temaprøve 2
2 timer
Matematisk induksjon: basistilfelle og induksjonsstegSterk induksjon med flere basistilfellerRekursivt definerte følger (Fibonacci/Tribonacci-type)Bevis av lukket form for rekurrens ved induksjonStrukturell induksjon på strenger og rekursivt definerte mengder
Temaprøve 3
2 timer
Matematisk induksjon: basistilfelle og induksjonsstegSterk induksjon med flere basistilfellerRekursivt definerte følger (Fibonacci/Tribonacci-type)Bevis av lukket form for rekurrens ved induksjonStrukturell induksjon på strenger og rekursivt definerte mengder
Temaprøve 4
2 timer
Matematisk induksjon: basistilfelle og induksjonsstegSterk induksjon med flere basistilfellerRekursivt definerte følger (Fibonacci/Tribonacci-type)Bevis av lukket form for rekurrens ved induksjonStrukturell induksjon på strenger og rekursivt definerte mengder
06

Tallteori og modulær aritmetikk

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Delelighet, gcd og Euklids algoritmeEuklids utvidede algoritme og modulær inversKongruenser, kongruensregning og lineære kongruenserKinesisk restteoremDelelighetsregler via tverrsum og kongruens (delelighet på 3, 9)
Temaprøve 2
2 timer
Delelighet, gcd og Euklids algoritmeEuklids utvidede algoritme og modulær inversKongruenser, kongruensregning og lineære kongruenserKinesisk restteoremDelelighetsregler via tverrsum og kongruens (delelighet på 3, 9)
Temaprøve 3
2 timer
Delelighet, gcd og Euklids algoritmeEuklids utvidede algoritme og modulær inversKongruenser, kongruensregning og lineære kongruenserKinesisk restteoremDelelighetsregler via tverrsum og kongruens (delelighet på 3, 9)
Temaprøve 4
2 timer
Delelighet, gcd og Euklids algoritmeEuklids utvidede algoritme og modulær inversKongruenser, kongruensregning og lineære kongruenserKinesisk restteoremDelelighetsregler via tverrsum og kongruens (delelighet på 3, 9)
07

RSA og kryptografi

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Eulers φ−funksjon\varphi -funksjonφ−funksjon via primtallsfaktoriseringRSA nøkkelgenerering: N=pq,φ(N),N=pq, \varphi (N),N=pq,φ(N), valg av eFinne dekrypteringseksponent d med modulær inversKryptering/dekryptering med gjentatt kvadrering (binær eksponentiering)Faktorisering ved p≈qp\approx qp≈q (Fermat) og Håstads kringkastingsangrep
Temaprøve 2
2 timer
Eulers φ−funksjon\varphi -funksjonφ−funksjon via primtallsfaktoriseringRSA nøkkelgenerering: N=pq,φ(N),N=pq, \varphi (N),N=pq,φ(N), valg av eFinne dekrypteringseksponent d med modulær inversKryptering/dekryptering med gjentatt kvadrering (binær eksponentiering)Faktorisering ved p≈qp\approx qp≈q (Fermat) og Håstads kringkastingsangrep
Temaprøve 3
2 timer
Eulers φ−funksjon\varphi -funksjonφ−funksjon via primtallsfaktoriseringRSA nøkkelgenerering: N=pq,φ(N),N=pq, \varphi (N),N=pq,φ(N), valg av eFinne dekrypteringseksponent d med modulær inversKryptering/dekryptering med gjentatt kvadrering (binær eksponentiering)Faktorisering ved p≈qp\approx qp≈q (Fermat) og Håstads kringkastingsangrep
Temaprøve 4
2 timer
Eulers φ−funksjon\varphi -funksjonφ−funksjon via primtallsfaktoriseringRSA nøkkelgenerering: N=pq,φ(N),N=pq, \varphi (N),N=pq,φ(N), valg av eFinne dekrypteringseksponent d med modulær inversKryptering/dekryptering med gjentatt kvadrering (binær eksponentiering)Faktorisering ved p≈qp\approx qp≈q (Fermat) og Håstads kringkastingsangrep
08

Kombinatorikk

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Produktregel og sumregelOrdnet utvalg uten tilbakelegging (permutasjoner) n!/(n-k)!Uordnet utvalg (kombinasjoner) binom(n,k)Utvalg med tilbakelegging og strengtellingInklusjon-eksklusjon og komplementtelling
Temaprøve 2
2 timer
Produktregel og sumregelOrdnet utvalg uten tilbakelegging (permutasjoner) n!/(n-k)!Uordnet utvalg (kombinasjoner) binom(n,k)Utvalg med tilbakelegging og strengtellingInklusjon-eksklusjon og komplementtelling
Temaprøve 3
2 timer
Produktregel og sumregelOrdnet utvalg uten tilbakelegging (permutasjoner) n!/(n-k)!Uordnet utvalg (kombinasjoner) binom(n,k)Utvalg med tilbakelegging og strengtellingInklusjon-eksklusjon og komplementtelling
Temaprøve 4
2 timer
Produktregel og sumregelOrdnet utvalg uten tilbakelegging (permutasjoner) n!/(n-k)!Uordnet utvalg (kombinasjoner) binom(n,k)Utvalg med tilbakelegging og strengtellingInklusjon-eksklusjon og komplementtelling
09

Grafteori

Eksamensrelevant4 prøver
Temaprøve 1Gratis
2 timer
Grafrepresentasjon: nabomatrise og mengderepresentasjon ⟨V,E⟩Grad, stier og sammenhengende graferEuler-vei og Euler-krets (gradkriterium)Hamilton-vei og Hamilton-sykelGraf-isomorfi og selv-isomorfier (automorfier)
Temaprøve 2
2 timer
Grafrepresentasjon: nabomatrise og mengderepresentasjon ⟨V,E⟩Grad, stier og sammenhengende graferEuler-vei og Euler-krets (gradkriterium)Hamilton-vei og Hamilton-sykelGraf-isomorfi og selv-isomorfier (automorfier)
Temaprøve 3
2 timer
Grafrepresentasjon: nabomatrise og mengderepresentasjon ⟨V,E⟩Grad, stier og sammenhengende graferEuler-vei og Euler-krets (gradkriterium)Hamilton-vei og Hamilton-sykelGraf-isomorfi og selv-isomorfier (automorfier)
Temaprøve 4
2 timer
Grafrepresentasjon: nabomatrise og mengderepresentasjon ⟨V,E⟩Grad, stier og sammenhengende graferEuler-vei og Euler-krets (gradkriterium)Hamilton-vei og Hamilton-sykelGraf-isomorfi og selv-isomorfier (automorfier)
10

Trær

Hyppig på eksamen4 prøver
Temaprøve 1Gratis
2 timer
Trær, røtter og spenntrærBinære trær og traverseringPrefiks-/postfiks-/infiks-notasjon og uttrykkstrærTelling av noder, blader og kanter i trær
Temaprøve 2
2 timer
Trær, røtter og spenntrærBinære trær og traverseringPrefiks-/postfiks-/infiks-notasjon og uttrykkstrærTelling av noder, blader og kanter i trær
Temaprøve 3
2 timer
Trær, røtter og spenntrærBinære trær og traverseringPrefiks-/postfiks-/infiks-notasjon og uttrykkstrærTelling av noder, blader og kanter i trær
Temaprøve 4
2 timer
Trær, røtter og spenntrærBinære trær og traverseringPrefiks-/postfiks-/infiks-notasjon og uttrykkstrærTelling av noder, blader og kanter i trær
11

Endelige tilstandsmaskiner og formelle språk

Eksamensrelevant8 prøver
Temaprøve 1Gratis
2 timer
Deterministiske endelige automater (DFA) og tilstandsdiagramKonstruksjon av DFA for et gitt språkRegulære uttrykk og Kleene-stjerneDet språket L(M) en automat gjenkjennerTelling av aksepterte strenger av gitt lengde
Temaprøve 2
2 timer
Deterministiske endelige automater (DFA) og tilstandsdiagramKonstruksjon av DFA for et gitt språkRegulære uttrykk og Kleene-stjerneDet språket L(M) en automat gjenkjennerTelling av aksepterte strenger av gitt lengde
Temaprøve 3
2 timer
Deterministiske endelige automater (DFA) og tilstandsdiagramKonstruksjon av DFA for et gitt språkRegulære uttrykk og Kleene-stjerneDet språket L(M) en automat gjenkjennerTelling av aksepterte strenger av gitt lengde
Temaprøve 4
2 timer
Deterministiske endelige automater (DFA) og tilstandsdiagramKonstruksjon av DFA for et gitt språkRegulære uttrykk og Kleene-stjerneDet språket L(M) en automat gjenkjennerTelling av aksepterte strenger av gitt lengde
Temaprøve 5
2 timer
Regulære grammatikker: definisjon og formkravAvledning og L(G)Fra automat til regulær grammatikkFra regulær grammatikk til automatKontekstfrie grammatikker som ikke er regulære
Temaprøve 6
2 timer
Ikke-deterministiske automater (NFA)Delmengdekonstruksjonen NFA til DFAAutomat for et gitt regulært uttrykkUnion av automater med ny starttilstandTilstandsøkonomi: NFA mot minimal DFA
Temaprøve 7
2 timer
Skuffeprinsippet på tilstanderSløyfeargument (pumping) i endelige automaterLukningsegenskaper: snitt og komplementKlassiske ikke-regulære språkAvgjøre regularitet med begrunnelse
Temaprøve 8
2 timer
Mealy-maskiner: overgangs- og utdatafunksjonKonstruksjon av mønstergjenkjenner med utdataRegulært uttrykk fra en gitt automatTelling av automater og tilstandsmaskinerTrekanten regulært uttrykk, automat og grammatikk
12

Boolsk algebra

Hyppig på eksamen4 prøver
Temaprøve 1Gratis
2 timer
Boolske operasjoner og aksiomer (kommutativitet, distributivitet, komplement)Verifisering av at en struktur er en boolsk algebraBoolske funksjoner og logiske porterForenkling av boolske uttrykk
Temaprøve 2
2 timer
Boolske operasjoner og aksiomer (kommutativitet, distributivitet, komplement)Verifisering av at en struktur er en boolsk algebraBoolske funksjoner og logiske porterForenkling av boolske uttrykk
Temaprøve 3
2 timer
Boolske operasjoner og aksiomer (kommutativitet, distributivitet, komplement)Verifisering av at en struktur er en boolsk algebraBoolske funksjoner og logiske porterForenkling av boolske uttrykk
Temaprøve 4
2 timer
Boolske operasjoner og aksiomer (kommutativitet, distributivitet, komplement)Verifisering av at en struktur er en boolsk algebraBoolske funksjoner og logiske porterForenkling av boolske uttrykk