• Studier
• Emner
• Matematikk og naturvitenskap
• Matematikk, mekanikk og statistikk
• MAT-INF3600
  • Oppgaver

MAT-INF3600 - Matematisk logikk

Kort om emnet

Kurset tar for seg første ordens logikk fram til kompletthetsteoremet og ufullstendighetsteoremet.

Hva lærer du?

Forståelse av samspillet mellom språk, tolkning og teori i formelle logikker.

Opptak og adgangsregulering

Studenter må hvert semester søke plass på undervisningen og melde seg til eksamen i StudentWeb.

Dersom du ikke allerede har studieplass ved UiO, kan du søke opptak til våre studieprogrammer eller søke om å bli enkeltemnestudent.

Det er ikke mulig å ta dette emnet som privatist. Du må ha plass på undervisningen for å ta eksamen.

Forkunnskaper

Obligatoriske forkunnskaper

I tillegg til generell studiekompetanse eller realkompetanse må du dekke spesielle opptakskrav:

En av disse:

• Matematikk R1
• Matematikk (S1+S2)

Og en av disse:

• Matematikk (R1+R2)
• Fysikk (1+2)
• Kjemi (1+2)
• Biologi (1+2)
• Informasjonsteknologi (1+2)
• Geofag (1+2)
• Teknologi og forskningslære (1+2)

De spesielle opptakskravene kan også dekkes med fag fra videregående opplæring før Kunnskapsløftet, eller på andre måter. Les mer om spesielle opptakskrav.

Anbefalte forkunnskaper

Det vil være en fordel med emner tilsvarende emnene fra de to første årene i bachelorprogrammet MIT eller INF-PRO

Overlapping

10 studiepoeng mot MAT3600 - Matematisk logikk. 10 studiepoeng mot MAT4600 - Matematisk logikk. 10 studiepoeng mot MA250. 10 studiepoeng mot MA150. 10 studiepoeng mot MA231. 6 studiepoeng mot MA130. 6 studiepoeng mot MA230. 4 studiepoeng mot MA350.

* Vi gjør oppmerksom på at informasjon om overlapp mot gamle og nye emner ikke er fullstendig. Ta eventuelt kontakt med matematisk institutt.

Undervisning

Fire timers undervisning/regneøvelser pr. uke.

Undervisningen går over hele semesteret i henhold til § 4.1 i forskrift om studier og eksamener ved Universitetet i Oslo .

Vurdering og eksamen

En obligatorisk oppgave må bestås innen gitte frister for å kunne gå opp til avsluttende eksamen. Endelig karakter gis ved avsluttende skriftlig eksamen som teller 100%.

Hjelpemidler

Ingen hjelpemidler er tillatt.

Eksamensspråk

Studenter kan, på emner som undervises på norsk, be om eksamensoppgaven på bokmål, nynorsk og engelsk. Frist for å registrere ønsket eksamensspråk er 1. september for høstsemestre og 1. februar for vårsemestre. Vi henviser til nettsidene til Det matematisk- naturvitenskaplige fakultet for fremgangsmåte

Dersom emnet undervises på engelsk vil det bare tilby eksamensoppgavetekst på engelsk.

Denne ordningen gjelder også for emner hvor vurderingsform er avhengig av antall studenter og skriftlig eksamen velges av foreleser.

Sensur

Emnet bruker gradert bokstavkarakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen .

Begrunnelse og klage

En student kan klage på karakterfastsettingen og/eller formelle feil ved eksamen

Adgang til utsatt eller ny eksamen/vurdering

Dette emnet tilbyr kun utsatt eksamen i hht § 5.5.1 i Forskrift om studier og eksamener ved Universitetet i Oslo.
Dette betyr at studenter som dokumenterer gyldig fravær fra eksamen innen gitte frister, vil kunne få en utsatt eksamen.

Studenter som stryker eller trekker seg under ordinær eksamen, får ikke mulighet til å ta utsatt eksamen, men kan ta eksamen neste gang det gis ordinær eksamen i emnet.

Generelle opplysninger om ny og utsatt eksamen

Mer informasjon om eksamen ved MN-fakultetet kan du lese på fakultetets eksamenssider

Trekk fra eksamen og antall eksamensforsøk

En student kan fremstille seg til eksamen i dette emnet inntil tre ganger. Studenten anses å ha fremstilt seg til eksamen dersom hun/han ikke har trukket eksamensmeldingen sin i StudentWeb innen en gitt frist.

Tilrettelagt eksamen/vurdering

En student som har en funksjonshemning og/eller kroniske eller akutte helseproblemer som fører til vesentlige ulemper i eksamenssituasjonen i forhold til andre studenter, kan søke om tilrettelegging ved eksamen. Mødre som ammer kan søke om tilleggstid på eksamen.

Evaluering av emnet

Tilbakemelding fra studentene våre er avgjørende for at vi skal kunne tilby best mulige emner og studieprogrammer. Som student ved UiO vil du derfor bli bedt om å delta i ulike typer evaluering av studiehverdagen din. Vi gjennomfører fortløpende evaluering av dette emnet, og med jevne mellomrom ber vi studentene delta i en mer omfattende og detaljert evaluering, en såkalt "periodisk evaluering" av emnet.

Kontakt oss