Logic in Computer Science: Modelling and Reasoning about Systems

Mathematische logica vormt een stevige basis voor de vakgebieden wiskunde, computerwetenschappen en kunstmatige intelligentie. Deze uitgave biedt een uitgebreide inleiding in diverse vormen van logica, waaronder de klassieke propositional logica en de predicaatlogica van de eerste orde. Daarnaast komen ook andere belangrijke logische systemen aan bod, zoals de equational logic, temporele logica en Hoare-logica.

Het boek biedt inzicht in bewijsprocedures voor klassieke logica en besluitprocedures voor het controleren van de satisfiability van logische formules. Het is geschreven zonder aannames over een voorgaande achtergrond in logica, zodat het toegankelijk is voor een breed publiek. De logica’s worden gepresenteerd als praktische hulpmiddelen voor het oplossen van diverse problemen, vooral binnen de kunstmatige intelligentie en formele verificatie.

De doelgroep omvat zowel (junior en senior) undergraduate studenten als graduate studenten die een studie volgen in de computerwetenschappen of wiskunde. Ter ondersteuning van de lezer zijn er in elk hoofdstuk ongeveer een dozijn oefenproblemen opgenomen. Deze oefeningen zijn bedoeld om de behandelde concepten en technieken beter te begrijpen en toe te passen.

Daarnaast is er in de tweede editie van dit succesvolle leerboek aandacht voor de ontwikkeling en toepassing van krachtige tools voor het verifiëren van hardware- en software-systemen. De toenemende noodzaak voor verbeterde validatiemethoden heeft geleid tot een grotere vraag naar training in formele redeneermethodes. Dit boek speelt hierop in door een heldere en relevante inleiding tot formeel redeneren te bieden, die voldoende rigor heeft voor praktische toepassingen in de moderne computerwetenschappen.

De tweede editie bevat verschillende verbeteringen ten opzichte van de eerste editie, met extra en uitgebreide secties over SAT-oplossers, existentiële/universele tweede-orde logica, micro-modellen, programmeren volgens contract en totale correctheid. De behandeling van model-checking is bovendien aanzienlijk geüpdatet, en er zijn extra oefeningen toegevoegd. Voor extra ondersteuning is er internetondersteuning beschikbaar, waaronder uitgewerkte oplossingen voor docenten en modeloplossingen voor studenten.

Geleverd in een paperbackformaat van 440 pagina's, is dit boek een waardevolle bron voor iedereen die zijn kennis van wiskundige logica wil verdiepen en toepassen in moderne contexten. Het biedt een solide basis voor toekomstige studies en praktijk in gerelateerde disciplines.