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.
Formulere simple korrekte forespørgsler i de mest grundlæggende forespørgselssprog.
Formulere simple samt mere komplekse forespørgsler i et praktisk orienteret forespørgselssprog.
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).
Fremlægge og præsentere løsninger kort og præcist.
Argumentere logisk og overbevisende for valg af løsning.
Benytte de fagtekniske begreber på en klar og utvetydig måde.
Vurdere korrektheden af en løsning ved at give konkrete eksempler eller foretage simple tests.
Kursusindhold:
Diskret matematik: udsagnslogik og prædikatlogik; mængder; boolsk algebra; induktion; relationer. Databaser: den relationelle datamodel; relationel algebra og kalkule; SQL.
