|
|
|
Previous course: C0116
|
|
No credit points with: 01015/C0115/C0116
|
|
|
|
Prerequisite: 98061/98063
|
|
|
|
Recommended semester: 1st semester
|
|
Scope and form: 1 lecture module, and 3 hours of problem solving per week.
|
|
Examination: Approval of coursework and oral examination (Pass/fail)
|
|
|
|
|
|
|
|
|
|
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 and recursion. Relations, equivalence and order relations in particular. Algebra, homomorphism and isomorphism. Formal language and finite state machines.
|
