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;
induktion; relationer. Databaser: den relationelle datamodel;
relationel algebra og kalkule; SQL.
