VOORKENNIS
6.2 Semantiek
Als u deze paragraaf gaat bestuderen wordt verondersteld dat u bekend bent met:
propositie- en predikaatlogica; in het bijzonder wordt er gewerkt met logische
operatoren, kwantoren, functies en relaties
elementaire grafentheorie; in het bijzonder gerichte en ongerichte grafen.