Kursplanen är fastställd av sektionsstyrelsen för matematik
och datavetenskap 1995-02-10.
2. Kursens mål
Kursen utgär en introduktion till tillämpningar av logiska, kombinatoriska
och algebraiska strukturer. Sådana tillämpningar är typiska
för ett stort antal områ- den, speciellt inom datatekniken.
3. Kursens innehåll
Mängdlära. Relationer. Logik. Formella system. Gitter. Booleska
algebror. Något om grafteori. Kombinatorik. Induktion. Rekursion.
4. Undervisningens utformning och omfattning
Undervisningen utgörs av föreläsningar och lektioner. Den
lärarledda undervis- ningen 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 behörighet för högskolestudier krävs kunskaper
svarande mot kursen MAN290 Algebraiska strukturer.
7. Övriga anvisningar
8. Kurslitteratur och andra läromedel
Se Matematiska institutionens litteraturlista Last modified: Thu Jan 22 14:41:50 MET 1998