| Tidligere kursus: C0116 |
| Udbydes af:
Institut for Matematik
(MAT) |
| Pointspærring: 01015/C0115/C0116 |
| Faglige forudsætninger: C9861/C9863 |
| Vejledende semester:
1. semester. |
| Deltager antal: Max. 60 |
| Undervisningsform: Pr. uge 1 modul oversigtsforelæsning og 3 timers gruppearbejde. |
| Evalueringsform:
Godkendelse af obligatoriske opgaver samt mundtlig eksamen
(
bestået/ikke bestået
) |
| Bemærkninger: Kurset udbydes kun som en del af Informatik-fagpakken og udbydes ikke for øvrige studerende. Kurset er en speciel tilpasset version af kursus 01015. |
| Kontaktperson: |
Ole Jørsboe, MAT, bygn. 303, tlf. 4525 3059 |
|
| 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, induktion og rekursion. Relationer, specielt ækvivalens- og ordningsrelationer. Algebra, kvotientalgebra, homomorfi og isomorfi. Formelle sprog og endelige tilstandsmaskiner. |
