Kursen ingår i programmet i Kognitionsvetenskap.
Kursplanen är fastställd av Institutionen för Datavetenskap, Undervisningsnämnden,
1994-06-14. Dnr 3552/93 E240.
Ämne: Ämnesövergripande
SYFTE
Kursen skall ge grundläggande kunskaper i diskret matematik och logik.
INNEHÅLL
Mängdbegreppet, operationer på mängder, relationer, funktioner. Grafteori. propositions- och predikatlogik behandlas avseende formelspråk, normalformer, modellbegrepp, inferensregler i naturlig deduktion, fullständighetsbevis för inferensreglerna i naturlig deduktion för propositionslogik, samt exempel på fullständighetsanalys för axiomatiseringar.
FÖRKUNSKAPER
För tillträde till kursen krävs allmän behörighet, samt att de särskilda behörighetsregler som gäller för programmet i kognitionsvetenskap är uppfyllda.
UNDERVISNING OCH EXAMINATION
Undervisning
Undervisningen består av föreläsningar och lektioner.
Examination
Kursen examineras genom inlämningsuppgift, laborationer och muntlig redovisning.
Den som godkänts i prov får ej delta i förnyat prov för högre betyg.
Betyg
Kursen bedöms med något av betygen väl godkänd, godkänd eller underkänd.
ÖVRIGA FÖRESKRIFTER OCH ANVISNINGAR
Kursen ingår i första året av utbildningsprogrammet för kognitionsvetenskap. Den kan dock i mån av plats läsas av andra som uppfyller förkunskapskraven.
KURSBEVIS
Kursbevis kan utfärdas, efter begäran av den studerande, av fakultetsnämnden. Begäran om bevis skall göras på särskild blankett som finns på institutionen. Den skall inlämnas till StudentCentrum.
När kursen ingår i ett program medtas den i examensbeviset för programmet.
KURSLITTERATUR
Enligt bilaga som finns på institutionen.
UPG1 INLÄMNINGSUPPGIFTER/L ABORATIONER