| Type: | Open University
Language: Danish |
|
|
Previous course: C0115
|
|
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-scale)
|
|
|
|
|
|
|
|
|
|
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, 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.
|
