Innholdsfortegnelse

Emnet er tilknyttet følgende studieprogram

Undervisningsspråk

Emnet skal i utgangspunktet undervises på engelsk.

Anbefalte forkunnskaper

MA-180-G Diskret matematikk 1 eller tilsvarende

MA-179-G Matematikk 2 eller tilsvarende

Læringsutbytte

Etter fullført emne skal studenten:

  • Kunne føre matematiske bevis.
  • Kunne forstå og bruke matematiske modeller.
  • Ha videregående kunnskap innen logikk, beregnbarhet, relasjoner og grammatikker samt anvendelse av dette.
  • Ha grunnleggende kunnskap om tall- og gruppeteori, og kjenne til sammenhenger mellom disse.
  • Kunne bruke rekursjon og induksjon.
  • Kunne beskrive formelle språk ved hjelp av automater og grammatikker.
  • Kunne oppdage og lage formelle relasjoner.
  • Kunne formulere enkelte problemer i form av rekursjonslikninger, og løse disse.
  • Forstå tallteorien og gruppeteorien som inngår i å definere og bruke RSA-algoritmen.
  • Kunne bruke lineære koder og analysere muligheter for feilkorrigering.

Innhold

Generelt: bevis, induksjon, rekursjon, korrekthet

Relasjoner: ekvivalens, order, rekursjonslikninger

Formelle modeller: tallteori, grammatikker, regulære uttrykk, endelige tilstandsmaskiner, (matematiske) grupper, lineære koder, RSA-algoritmen.

Teoremer: Lagranges teorem, Eulers teorem, Fermats (lille) teorem

Undervisnings- og læringsformer

Forelesninger, selvstudium, øvinger og obligatoriske oppgaver. Oversikt over obligatoriske oppgaver gis ved semesterstart. Gjennomsnittlig arbeidsmengde: 200 timer.

Vilkår for å gå opp til eksamen

Godkjente obligatoriske oppgaver. Antall oppgaver angis ved semesterstart i Canvas.

Eksamen

4 timer skriftlig eksamen (50%) og mappevurdering (50%). Gradert karakter. Mappen består av digitale tester og nærmere informasjon om innhold i mappen vil bli gitt i Canvas ved semesterstart.

Det blir ikke arrangert ny/utsatt eksamen for mappevurderingen.

Studentevaluering

Emneansvarlig fastsetter i samråd med studenttillitsvalgt evalueringsform og om emnene skal ha midtveis- eller sluttevaluering i tråd med kvalitetssystemet kapittel 4.1.

Tilbys som enkeltemne

Ja. Med forbehold om ledig plass/kapasitet.

Opptakskrav hvis tilbudt som enkeltemne

Generell studiekompetanse med R1, R2 og Fysikk 1 eller tilsvarende, eller ettårig forkurs for ingeniørutdanning.

Reduksjon i studiepoeng

Innholdet i dette emnet dekkes helt eller delvis av annet emne. Tas ett av disse emnene i tillegg, reduseres studiepoengene som følger:

Emne Studiepoengreduksjon
MA-221 – Diskret matematikk. 5
Sist hentet fra FS (Felles studentsystem) 15. okt. 2026 20:09:44