| Recommended semester: 1st - 4th semester |
| Scope and form: Lectures and exercises. |
| Evaluation: Written exam or oral exam
|
| Examination: 13-scale |
| Previous course: C0115 / C0116 |
| No credit points with: C0115 / C0116 |
| Aim: 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. |
| Contents: 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, building 303, (+45) 4525 3047, t.hoeholdt@mat.dtu.dk |
| Department: 001 Department of Mathematics |
| Course URL: http://www.mat.dtu.dk/courses/01016 |
| Keywords: Mathematical logic, Sets and functions, Relations, Algebra |
| Updated: 23-04-2001 |
