Logic in Computer Science

Mathematical logic vormt een essentiële basis voor verschillende disciplines zoals wiskunde, informatica en kunstmatige intelligentie. Deze uitgebreide inleiding tot de diverse logica's biedt zowel theoretische als praktische inzichten, waardoor het een onmisbaar hulpmiddel is voor studenten en professionals.

Inhoud van het boek

Dit boek biedt een grondige kennismaking met verschillende soorten logica, waaronder:

- Klassieke propositional logica

- Eerste-orde predicaatlogica

- Vergelijkingslogica

- Tijdelijke logica

- Hoare-logica

Daarnaast worden er bewijsprocedures voor klassieke logica's en beslissingsprocedures gepresenteerd om de satisfiabiliteit van logische formules te controleren.

Toegankelijkheid en doelgroep

Het boek veronderstelt geen achtergrond in de logica en presenteert de logica's als praktische tools om verschillende problemen in kunstmatige intelligentie en formele verificatie op te lossen. Hierdoor is het bijzonder geschikt voor zowel (junior en senior) undergraduate- als graduate-studenten die een studie volgen in de informatica of wiskunde. Iedere hoofdstuk bevat gemiddeld een tiental oefenproblemen, die de lezer helpen de besproken concepten en technieken beter te begrijpen.

Verbeteringen in de tweede editie

De tweede editie van deze succesvolle tekstboek gaat verder door in te spelen op de toenemende behoefte aan effectieve methoden van formele redenering. De laatste jaren zijn krachtige tools ontwikkeld voor het verifiëren van hardware- en softwaresystemen, wat bedrijven wereldwijd ertoe aanzet om betere validatiemethoden te implementeren. Dit boek biedt een heldere inleiding tot formele redenering die zowel relevant is voor moderne informatica als rigoureus genoeg voor praktische toepassingen.

Belangrijke verbeteringen in deze editie zijn onder andere:

- Extra en uitgebreide secties over SAT-oplossers en existentiële/universele tweede-orde logica

- Micro-modellen en programmeren door contract

- Total correctness en uitgebreide dekking van model-checking

Bovendien zijn er extra oefeningen toegevoegd om de student verder te ondersteunen. Internetondersteuning bij het boek omvat werkende oplossingen voor alle oefeningen voor docenten en modellen voor sommige oefeningen voor studenten, waardoor het leerproces verder wordt verrijkt.

Met 440 pagina's aan waardevolle inhoud is deze tweede editie van het boek een essentieel hulpmiddel voor iedereen die zich wil verdiepen in de wereld van de logica en zijn toepassingen in de digitale technologie.