In de eerste helft van <strong>Logica voor informatica</strong> staan de standaardsystemen van de propositielogica en de predikaatlogica centraal. De propositie... » 

In de eerste helft van Logica voor informatica staan de standaardsystemen van de propositielogica en de predikaatlogica centraal. De propositielogica richt zich op de structuur van beweringen met zogenaamde Boolese operatoren. De predikaatlogica richt zich op beweringen met zogenaamde kwantificerende uitdrukkingen. De tweede helft van het boek behandelt modale logica en toepassingen van de logica in de informatica en in de kunstmatige intelligentie, waarbij onder andere de semantiek van imperatieve programmeertalen, programmacorrectheid, logisch programmeren, model checking, tijdslogica en multi-actorsystemen (multi-agent systems) aan de orde komen.Het boek besluit met een aantal terreinverkenningen voor de toekomst.

Het boek is gericht op de eerste jaren van academische en HBO-studieprogramm's op technisch gebied, maar is ook los van studieprogramma's te gebruiken. Er wordt voorkennis van de wiskunde verondersteld, in het bijzonder kennis van verzamelingen, functies, relaties en bomen. Een overzicht van de vereiste voorkennis is in een bijlage opgenomen. Logica voor informatica (voorheen Logica voor informatici) is in eerste instantie ontwikkeld door de Open Universiteit en de Universiteit van Amsterdam. «