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: | |
| |