|
01016 Grundlæggende matematik for dataloger |
| Engelsk titel: Discrete Mathematics for Computer Science |
|
Sprog: Dansk Point: 5, Ekstern censur.
|
|
| Type: civilkursus, udbydes under åben uddannelse |
|
Skemaplacering: |
E1-B F1-B
|
|
Eksamensplacering: |
E1-B (Dec 11 2001), F1-B (May 28 2002)
|
|
Vejledende placering: Først i studiet. |
|
Undervisningsform: Forelæsninger og grupperegning. |
|
Evalueringsform: Skriftlig eller mundtlig eksamen
|
| Karakter: 13-skala |
| Tidligere kursus: C0115 / C0116 |
| Pointspærring: C0115 / C0116 |
| Kursusmål: At tilvejebringe en del af det matematiske grundlag, der er nødvendigt for den moderne teoretiske datalogi, samt at skabe en vis matematisk modenhed hos de studerende. Dette betyder, at der lægges vægt på fundamentale matematiske karakteristika som præcision, generalitet og beviser. |
Kursusindhold: Matematisk logik og bevisteknikker.
Mængder og funktioner. De naturlige tal, induktion. Relationer, specielt ækvivalens- og ordningsrelationer. Algebra, formelle sprog og endelige tilstandsmaskiner. |
| Kontaktperson: Tom Høholdt, building 303, (+45) 4525 3047, t.hoeholdt@mat.dtu.dk |
| Kursus URL: http://www.mat.dtu.dk/courses/01016 |
|
|
