| |
| Previous course: C0116 |
| Offered by:
Department of Mathematics
(MAT) |
| No credit points with: 01015/C0115/C0116 |
| Prerequisite: C9861/C9863 |
| Recommended semester:
1st semester |
| Limitation: Max. 60 |
| 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 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.
|
