MM524: Matematiske redskaber (5 ECTS)

STADS: 13006201

Niveau
Bachelorkursus

Undervisningsperiode
Kurset er placeret i efterårssemesteret.
1. kvartal

Ansvarlige undervisere
Email: lenem@imada.sdu.dk

Skemaoplysninger
Hold Type Dag Tidsrum Lokale Uger Kommentar
Fælles I Mandag 14-16 U20 36-38, 40
Fælles I Torsdag 08-10 U20 35-41
M1 TE Tirsdag 10-12 U27a 36-37, 39-40
M1 TE Tirsdag 10-12 U52 41
M1 TE Fredag 10-12 U9 35,38
M1 TE Fredag 10-12 U24 36
M1 TE Fredag 10-12 U155 37
M1 TE Fredag 10-12 U131 39
M1 TE Fredag 10-12 U26a 41
S1 TE Tirsdag 14-16 U9 36
S1 TE Onsdag 10-12 U144 37
S1 TE Onsdag 08-10 U92 38-41
S1 TE Torsdag 14-16 U144 35
S1 TE Torsdag 10-12 U147 41
S1 TE Fredag 08-10 U144 36
S1 TE Fredag 14-16 U144 37
S1 TE Fredag 12-14 U52 39
Vis hele skemaet
Vis personligt skema for dette kursus.

Kommentar:
Ubegrænset deltagerantal. Kurset kører i 1. kvartal. Fælles undervisning med DM527 – Matematiske redskaber i datalogi.

Indgangskrav:
Ingen

Faglige forudsætninger:
Ingen

Kursusintroduktion
I nyere tids matematik har man brug for et formelt sprog med utvetydige symboler for de mest elementære operationer. Dette kursus skal give en formel indførsel i matematikkens grundbegreber, og introducere den studerende for den matematiske tankegang, der danner grundlag for resten af uddannelsen. De samme grundbegreber og matematiske tankegange bruges også i mange andre videnskaber, især datalogi.

Forventet læringsudbytte
Ved kursets afslutning forventes den studerende at kunne:
- formalisere udsagn på en korrekt logisk måde
- arbejde på en korrekt logisk måde med mængder, relationer og funktioner
- afgøre hvis givne funktioner er injektive eller surjektive
- bevise påstande ved hjælp af forskellige bevismetoder såsom direkte bevis, indirekte bevis og induktionsbevis
- argumentere for skridtene i opgaveløsningen
- at kunne arbejde med basale begreber inden for talteori såsom delelighed og største fælles divisor
- at kunne udregne den største fælles divisor ved brug af Euklids algoritme og kunne bruge den kinesiske restklassesætning til at løse systemer med lineære kongrugenser
- at kunne arbejde med basale egenskaber ved matricer

Emneoversigt
Logik, mængder, relationer, funktioner, bevisteknikker, tællelighed, egenskaber ved de reelle tal, Euklides algoritme, den kinesiske restsklassesætning, matricer.

Litteratur
Der er i øjeblikket ikke angivet nogle materialer for kurset.

Pensum
Se pensumbeskrivelse.

Kursets hjemmeside
Dette kursus benytter e-learn (blackboard).

Forudsætningsprøver
Ingen

Eksamen- og censurform:
Der gives en samlet karakter efter 7-skalaen med ekstern censur baseret på en afsluttende 3 timers skriftlig eksamen og afleveringsopgaver undervejs i kurset. Afleveringsopgaverne tæller 30% af den endelige karakter.

De afleverede opgaver gælder til og med reeksamen efter 2. kvartal og kan således ikke overføres til det efterfølgende år.

Reeksamen efter 2. kvartal

Vejledende timetal
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.

Forelæsninger: 21 timer Eksaminatorietimer/opgaveregning: 21 timer
Aktiviteter i studiefasen

Sprog
Dette kursus undervises på engelsk, hvis der deltager internationale studerende, ellers undervises på dansk.

Kursustilmelding
Se tilmeldingsfrister.

Pris for åben uddannelse
Se priser for enkeltkurser.

Dette er den nyeste version af en kursusbeskrivelse, som trådte i kraft den 1. sep 2009.