course-details-portlet

MA2301

Beregnbarhets- og kompleksitetsteori

Studiepoeng 7,5
Nivå Videregående emner, nivå II
Undervisningsstart Høst 2010
Varighet 1 semester
Vurderingsordning Skriftlig eksamen

Om

Om emnet

Faglig innhold

Emnet gir en innføring i deler av den teoretiske bakgrunnen for informatikkfaget, og vil blant annet omhandle formelle språk, endelige automater, Turing-maskiner, beregnbarhet, rekursjon, polynomiell reduksjon, kompleksitetsklasser, Cooks teorem, eksempler. Emnet foreleses annet hvert år, neste gang høsten 2010.

Læringsutbytte

Å lære studentene matematisk tankegang i forbindelse med datateknologi og programmering.

Læringsformer og aktiviteter

Forelesninger og øvinger.

Kursmateriell

Oppgis ved semesterstart.

Fagområder

  • Informatikk
  • Matematikk

Kontaktinformasjon

Emneansvarlig/koordinator

Ansvarlig enhet

Institutt for matematiske fag

Eksamen

Eksamen

Vurderingsordning: Skriftlig eksamen
Karakter: Bokstavkarakterer

Ordinær eksamen - Høst 2010

Skriftlig
Vekting 100/100 Dato 10.12.2010 Tid 09:00 Varighet 4 timer Sted og rom Ikke spesifisert ennå.

Ordinær eksamen - Vår 2011

Skriftlig
Vekting 100/100 Dato 07.06.2011 Tid 09:00 Varighet 4 timer Sted og rom Ikke spesifisert ennå.

Alt om eksamen ved NTNU