| Udbydes af:
Institut for Anvendt Elektronik
(IAE) |
| Faglige forudsætninger: 92001. 92031 |
| Ønskelige forudsætninger: 92002. 92032 |
| Vejledende semester:
5. semester. |
| Undervisningsform: Klasseundervisning |
| Evalueringsform:
Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Aage Vind, IAE, bygn. 451, tlf. 4525 5259 |
|
| Kursusmål: At tilvejebringe en del af det matematiske grundlag, der er nødvendigt for den moderne teoretiske datalogi, samt at skabe en vis matematisk modenhed hos de studerende. Dette betyder, at der lægges vægt på fundamentale matematiske karakteristika som præcision, generalitet og beviser. |
Kursusindhold: Matematisk logik, bevisteknikker og programverifikation. Mængder og funktioner. De naturlige tal, induktioner og rekursion.
Relationer, specielt ækvivalens- og ordningsrelationer.
Algebra, kvotientalgebra, homomorfi og isomorfi. Formelle sprog og endelige tilstandsmaskiner |
