|
||||||||||||
|
||||||||||||
Innføring i Zermelo-Fraenkels mengdelære, konstruktible mengder, forcing.
Studenten skal bli kjent med aksiomatisk mengdelære og med to sentrale metoder for å vise at visse matematiske påstander hverken lar seg bevise eller motbevise innen mengdelæren.
Studenter med studierett på program eller enkeltemner må hvert semester søke undervisningsopptak til emner i StudentWeb.
Dersom du ikke allerede har studieplass ved UiO, kan du lese om studietilbud og opptak til program, eller om muligheten for opptak til enkeltemner med ledig kapasitet.
Det kreves ikke avlagte eksamener fra andre universitetsemner.
MAT3600 - Matematisk logikk / MAT4600 - Matematisk logikk
Emnet overlapper 15 studiepoeng mot det gamle emne MA 360.
* Vi gjør oppmerksom på at informasjon om overlapp mot gamle og nye emner ikke er fullstendig. Ta eventuelt kontakt med matematisk institutt.
4 timer forelesninger pr. uke i ett vårsemester.
Muntlig eksamen.Bokstavkarakter
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
Evaluering av emnet
Tilbakemelding fra studentene våre er avgjørende for at vi skal kunne tilby best mulig emner og studieprogrammer. Som student ved UiO vil du derfor involveres i ulike typer evaluering av studiehverdagen din. Vi gjennomfører både fortløpende evaluering av emner og programmer, og med jevne mellomrom ber vi studentene delta i en mer omfattende og detaljert evaluering av et bestemt emne eller program. Dette emnet evalueres våren 2006. Studentevalueringer er en del av kvalitetssikringen av utdanningsvirksomheten ved UiO http://www.kvalitetssystem.uio.no/utdanning/om-systemet/
Besøksadresse:
Niels Henrik Abels hus, Moltke Moes vei 35
Postadresse:
Postboks 1053, Blindern
0316 Oslo
Ekspedisjonstid:
Mandag-fredag 09:00-14:30