Logica

De laatste twintig jaar is de belangstelling voor mathematische logica enorm toegenomen. Deze belangstelling komt niét alleen vanuit de wiskunde, maar ook vanuit de filosofie, linguïstiek, natuurkunde en informatica. In elk van de genoemde disciplines is gebleken dat logica een nuttig formalisme is ter modellering van theorieën en verschijnselen.
Het doel van dit boek is een solide inleiding te geven in de logica. Deze omvat de traditionele begrippen en de bekende resultaten uit de klassieke propositie- en predikatenlogica. Daarnaast worden in dit boek toepassingen in de informatica behandeld, te weten de calculus van Hoare ten behoeve van het geven van correctheidsbewijzen van computerprogramma’s, het automatisch bewijzen van stellingen met behulp van resolutie, en het gebruik van logica als programmeertaal (logic programming). v
De stof wordt toegelicht aan de hand van een groot aantal uitgewerkte voorbeelden. Om de lezer tot zelfwerkzaamheid aan te zetten, zijn aan het eind van ieder hoofdstuk opgaven opgenomen. Door deze opzet is het boek geschikt als leerboek bij inleidende colleges op universitair niveau of bij hogere-jaars-cursussen op HBO- niveau. Ook kan het boek worden gebruikt voor zelfstudie.
De auteurs zijn werkzaam bij de groep Theoretische Informatica aan de Faculteit der Technische Wiskunde en Informatica van de Technische Universiteit Delft Als hoogleraar van deze groep verzorgde S.C. van Westrhenen onder andere colleges op het gebied van de logische grondslagen van Kunstmatige Intelligentie. * J.F.M. Tonino heeft als universitair docent vele jaren ervaring in het geven van logica-onderwijs aan informaticastudenten. R. Sommerhalder, die universitair hoofddocent is, heeft als specialisme het gebied van Logic Programming In samenwerking met de eerstgenoemde auteur schreef hij enkele jaren geleden een monografie over berekenbaarheid en complexiteitstheorie.