| 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 and proof techniques. Sets and functions. Natural numbers, induction . Relations, equivalence and order relations in particular. Algebra, homomorphism and isomorphism. Formal language and finite state machines.
|
