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.