|
|
| Offered by:
Department of Applied Electronics
(IAE) |
| Prerequisite: 92001. 92031 |
| Desirable: 92002. 92032 |
| Recommended semester:
5th semester |
| Scope and form: Class lectures. |
| Examination:
Written exam
(13 point scale
) |
| Contact person: |
Aage Vind, IAE, Building 451, Tel. +45 4525 5259 |
|
Aim: - to provide parts of the mathematical foundation of modern theoretical Computer Science.
- emphasis is placed on fundamental mathematical characteristics such as precision, generality and proofs.
|
Contents: Mathematical logic, methods of proof and techniques of program verification. Sets and Functions. Induction and Recursion .
Relations, in particular Equivalence and Order relations.
Algebra, Quotient Algebras, Homomorphism and Isomorphism.
Formal languages and Finite State Automata. |
