Kursplanen är fastställd av sektionsstyrelsen för matematik
och datavetenskap 1991-03-27.
2. Kursens mål
Kursen har som syfte att ge förtrogenhet med logisk slutsatsdragning
inom matematiken, uppbyggnad av talsystem och grunderna för geometri.
3. Kursens innehåll
De logiska konnektiven, all- och existenskvantorerna och deras roll i matematisk
bevis- föring. Peanos axiom för naturliga tal. Dedekinds snitt
och Cauchyföljder. Kongruenta figurer och förflyttningar, parallellaxiomet,
axiomatik för euklidisk geometri, vinkelsatser, Kleins modell för
icke-euklidisk geometri.
4. Undervisningens utformning och omfattning
Undervisningen utgörs av föreläsningar eller av föreläsningar
och lektioner. Den lärar- ledda undervisningen omfattar ca 50 timmar
och den totala arbetsinsatsen ca 200 timmar.
5. Examination
Prov anordnas vid slutet av kursen. Studerande som ej godkänts vid
ordinarie prov erbjuds ytterligare provtillfällen. På godkänt
prov ges betygsgraderna Godkänd eller Väl godkänd.
6. Förkunskaper
Utöver allmän behörighet krävs kunskaper svarande mot
40 poäng i matematik.
7. Övriga anvisningar
8. Kurslitteratur och andra läromedel
Se Matematiska institutionens litteraturlista Last modified: Fri Dec 12 13:07:59 MET 1997
