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.
Kursusindhold:
Diskret matematik: udsagnslogik og prædikatlogik; mængder; boolsk algebra; induktion; relationer. Databaser: den relationelle datamodel; relationel algebra og kalkule; SQL.