| Kursusnavn (dansk): | Grundlæggende matematik for dataloger |
| Kursusnavn (engelsk): | Discrete Mathematics for Computer Science |
| Semester: | Forår 2002 |
| Udbydes under: | cand. it, softwareudvikling (swu) |
| Omfang i ECTS: | 0,00 |
| Kursussprog: | Dansk |
| Kursushjemmeside: | https://learnit.itu.dk |
| Min. antal deltagere: | 0 |
| Forventet antal deltagere: | 0 |
| Maks. antal deltagere: | 0 |
| Formelle forudsætninger: | |
| Læringsmål: | To provide a part of the mathematical foundation necessary for the
understanding of the modern theoretical computer science, and give the
students a certain level of mathematical maturity. So the focus is on
fundamental mathematical concepts like precision, generality and proofs. |
| Fagligt indhold: | Mathematical logic and mathematical proofs. Sets and
functions. The natural numbers and induction. Relations, equivalence- and
order relations. Algebra, formal languages and finite state machines.
Contact: Tom Høholdt, DTU, building 303, (+45) 4525 3047,
t.hoeholdt@mat.dtu.dk
Course URL: http://www.mat.dtu.dk/courses/01016 |
| Læringsaktiviteter: | Lectures and exercises. |
| Eksamensform og -beskrivelse: | X. experimental examination form (7-scale; external exam), 13-skala, Intern censur Written exam or oral exam, 13-scale
|
| Litteratur udover forskningsartikler: | |
| | |
Kursusoversigt