| |
| Previous course: C0115 |
| Offered by:
Department of Mathematics
(MAT) |
| No credit points with: 01016/C0116/C0115 |
| Prerequisite: 01010/01011/01000/01001.01012/01013/01014 |
| Recommended semester:
2nd semester |
| Scope and form: 2 lecture modules and 1 hour of problem solving per week. |
| Examination:
Written exam
(13 point scale
) |
| Contact person: |
Ole Jørsboe, MAT, Building 303, Tel. +45 4525 3059 |
|
| 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, proof techniques and program verification. Sets and functions. Natural numbers, induction and recursion. Relations, equivalence and order relations in particular. Algebra, quotient algebra, homomorphism and isomorphism. Formal language and finite state machines.
|
