DTU
Uddannelse
Previous page | Current version Archive 2000/2001 
 
01016 Discrete Mathematics for Computer Science
Danish title: Grundlæggende matematik , Inf.
Language: Danish Credit points: 5
Type: Language: Danish

Previous course: C0116
No credit points with: 01015/C0115/C0116
Prerequisite: 98061/98063
Recommended semester: 1st semester
Scope and form: 1 lecture module, and 3 hours of problem solving per week.
Examination: Approval of coursework and oral examination (Pass/fail)
Contact person: Ole Groth Jørsboe, Building 303, Tel. +45 4525 3059, email O.Joersboe@mat.dtu.dk

Department: Department of Mathematics
Aim: To teach some of the mathematical foundation necessary for modern theoretical computer science, as well as achieving a certain degree of mathematical maturity among the students. As a consequence, emphasis will be placed upon fundamental mathematical characteristics such as precision, generality and proofs.
Contents: Mathematical logic and proof techniques. Sets and functions. Natural numbers, induction and recursion. Relations, equivalence and order relations in particular. Algebra, homomorphism and isomorphism. Formal language and finite state machines.