| Type: | basiskursus, udbydes under åben uddannelse
Sprog: dansk |
|
|
Tidligere kursus: C0115
|
|
Pointspærring: 01016/C0116/C0115
|
|
|
|
Faglige forudsætninger: 01010/01011/01000/01001.01012/01013/01014
|
|
|
|
Vejledende placering: 2. semester.
|
|
Undervisningsform: Forelæsninger og opgaveregning.
|
|
Evalueringsform Skriftlig eksamen
|
|
Karakter: 13-skala
|
|
|
|
Bemærkninger: Kurset er en forudsætning for 49142 Algoritmer og Datastrukturer samt 49161 Programmelkonstruktion
|
|
|
|
|
|
Institut: Institut for Matematik
|
|
Studieudvalg: MIFSU
|
|
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 og bevisteknikker.
Mængder og funktioner. De naturlige tal, induktion . Relationer, specielt ækvivalens- og ordningsrelationer. Algebra, homomorfi og isomorfi. Formelle sprog og endelige tilstandsmaskiner.
|
