PDF til print Find kalender

BK4/BK8 - Logik og diskret matematik

Kurset afvikles som studiekreds

uddannelse Den naturvidenskabelige bacheloruddannelse / Den Internationale Naturvidenskabelige Bacheloruddannelse
Kursustype bachelor
Undervisningssprog Dansk
Tilmelding

Tilmelding via STADS selvbetjening fra 1. december til 15. december : Link til STADS selvbetjening

Spørgsmål vedrørende tilmelding kan rettes til Mona Vølcker-Hansen, monavh@ruc.dk, phone 4674-2393

Kursus starter 11-03-2014
Kursus slutter 02-05-2014
Undervisningstidspunkt

Kursusblok C Tirdag 13:00 - 16:30 / Fredag 8:30 - 10:30

Undervisningssted

Lokale III bygning 27.2

forudsætninger

Den vigtigste forudsætning for deltagelse i kurset er en interesse for abstrakte tænkemåder samt formelle beskrivelser og argumenter.

formål

Målet med kurset er, at den studerende opnår følgende.

Viden: Indledende kendskab til logik og diskret matematik samt forståelsen af hvad der foregår i en given anvendelsessituation.

Færdigheder: Mundtlig og skriftlig formidling af logiske og algoritmiske ræsonnementer.

Kompetencer: Anvendelsen af logik og diskret matematik som modelleringsredskab og som specifikations- og kommunikationsredskab i relevante naturvidenskabelige (ikke mindst datalogiske) sammenhænge.

Der henvises til Studieordning for Den Naturvidenskabelige Bacheloruddannelse

§19 Kurserne BK 4-8: Kurser inden for det naturvidenskabelige område Formålet med kurserne BK 4-8 er, at den studerende tilegner sig et bredt fagligt fundament inden for det naturvidenskabelige område, skaffer sig grundlag for at foretage et kvalificeret valg af fagmoduler, samt erhverver sig faglige forudsætninger for at kunne gennemføre de valgte fagmoduler.

Indhold

Kurset vil beskæftige sig med propositions- og prædikatlogik (uformel såvel som formel), mængder og funktioner, algoritmer, matematisk induktion, formelle sprog.

Undervisningsform

Vekslen mellem oversigtsforedrag, gruppe- og individuelt arbejde med teoriopbyggende problemstillinger og opgaver, samt forskellige typer af skriftlige opgaver.

bedømmelseskriterier

Der henvises til Studieordning for Den Naturvidenskabelige Bacheloruddannelse

§ 19, stk 6 Prøve i kurserne BK 4-8 Ved prøven i hvert af kurserne BK 4-8 medvirker intern bedømmer. Bedømmelsesformerne og -kriterierne, herunder evt. ændrede bedømmelsesformer ved sygeprøver eller omprøver, fremgår af beskrivelsen af de enkelte kurser. Der vil være enkelte kurser, der bedømmes med Bestået/Ikke-bestået. Det er typisk kurser med laboratorie- eller feltarbejde. Hver studerende kan højest tage tre sådanne kurser som BK 4-8 kurser. De øvrige kurser bedømmes efter 7-trinsskalaen. Hver prøve er normeret til 5 ECTS-point.

Eksamensform

Individuel mundtlig prøve af 15 minutters varighed baseret på to eller tre gruppevist udarbejdede miniprojekter som skal afleveres i løbet af semestret. Miniprojekterne tager udgangspunkt i udleverede problemstillinger.

Der gives en samlet bedømmelse af miniprojekterne og den mundtlige prøve.

For at kunne indstille sig til prøven, skal den studerende efter nærmere aftale have afleveret og fået godkendt et antal mindre opgaver, som er stillet i løbet af kurset.

I 7,5 ects versionen af kurset vil der efter nærmere aftale blive stillet en ekstra opgave i form af et mini-projekt.

Reeksamensform

Udvidelse af miniprojekt samt individuel mundtlig prøve af 15 minutters varighed baseret det udvidede miniprojekt.

Eksamenstidspunkt

Fredag d. 10/6 kl. 13-16

reeksamenstidspunkt

Fredag d. 15/8 kl. 9-12

Undervisningsevalueringsform

Der er løbende formativ evaluering på alle kurser baseret på dialog mellem de studerende og kursusunderviseren(erne). Alle kurser bliver evalueret via et spørgeskema i SurveyXact efter kursets afslutning. Hvert semester udvælges et antal kurser til nærmere evaluering baseret på en rapport, der udarbejdes af den kursusansvarlige. Heri inddrages erfaringerne fra den løbende evaluering og resultaterne af spørgeskemaevalueringen af kurset.

Aktivitetsansvarlig Torben Braüner (torben@ruc.dk )
Underviser Torben Braüner (torben@ruc.dk )
STADS stamdata
bachelor
belastning : 5 ECTS aktivitetskode : U24756
prøveform : Intern bedømmelse : 7-trinsskala censur : Intern censur