Cursusmateriaal
Voor de eerste twee onderwerpen wordt gebruik gemaakt van het boek:
- Hanne Riis Nielson en Flemming Nielson: Semantics with
applications, 1999. Dit boek is via internet als PDF te downloaden.
Voor het derde onderdeel, termherschrijven, worden de sheets van het college gebruikt.
Voor het vierde onderdeel schrijven we geen boek voor, maar gaan we ervan uit
dat je beschikt over een standaard logica boek. Een goede kandidaat hiervoor
is het boek van Van Benthem dat ook bij Beweren en Bewijzen wordt gebruikt.
- J.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting, J.S. Lodder en W.P.M.
Meyer-Viol: Logica voor informatica, derde editie,
Pearson Education, 2003, ISBN 90-430-0722-6.
Voor het vijfde onderdeel maken we gebruik van hoofdstuk 3 uit het volgende
boek. Dit boek hoeft niet aangeschaft te worden aangezien de inhoud van
dat hoofdstuk beschikbaar wordt gemaakt.