At tilvejebringe en del af det matematiske grundlag, der er nødvendigt for den moderne datalogi. Desuden at demonstrere anvendelsen af dette matematiske grundlag i forbindelse med databasesystemer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Reducere logiske udtryk, mængdeudtryk og udtryk fra Boolsk algebra.
Redegøre for principperne i henholdsvis direkte og indirekte bevis, og kunne gennemføre beviser efter begge metoder.
Redegøre for principperne i induktionsbeviser og kunne gennemføre simple induktionsbeviser.
Konstruere og anvende små databaser i et konkret og kommercielt anvendt databasesystem (f.eks. MySQL).
Formulere simple korrekte forespørgsler i et par grundlæggende forespørgselssprog (f.eks. relationel algebra og relationel kalkule).
Formulere simple samt mere komplekse forespørgsler i et praktisk orienteret forespørgselssprog (f.eks. SQL).
Redegøre for det matematisk grundlag bag relationelle databaser samt de forskellige forespørgselssprog.
Oversætte enkle natursproglige beskrivelser til formelle sprog (logiske sprog og forespørgselssprog).
Kursusindhold:
Diskret matematik: udsagnslogik og prædikatlogik; mængder; boolsk algebra; induktion; relationer. Databaser: den relationelle datamodel; relationel algebra og kalkule; SQL.
