Mathematical Logic for Computer Science

Mathematical Logic for Computer Science is een wiskundig handboek dat is ontworpen met het oog op de behoeften van studenten computerwetenschappen. Dit boek biedt een grondige behandeling van wiskundige logica met de nodige theorema’s en bewijzen, maar past de onderwerpen aan om te voldoen aan de specifieke eisen van de computerwetenschap. De derde editie is volledig herschreven en bevat vernieuwde hoofdstukken die zich richten op moderne en relevante onderwerpen zoals SAT-oplossers en modelchecking.

Inhoud en Aanpak

De methode van semantische tableaux vormt de kern van de teaching aanpak in dit boek. Deze elegante aanpak om logica te onderwijzen is zowel theoretisch onderbouwd als toegankelijk voor ondergraduates. Door middel van een uniforme toepassing van tableaux-gebaseerde technieken, leren studenten geavanceerde logische systemen op basis van wat ze hebben geleerd over elementaire systemen. De logische systemen die aan bod komen, zijn onder andere:

• Propositional logica
• Eerste-orde logica
• Resolutie en de toepassing ervan op logische programmering
• Hoare-logica voor de verificatie van sequentiële programma's
• Lineaire temporele logica voor de verificatie van gelijktijdige programma's

Oefeningen en Ondersteuning

Het boek bevat 150 oefeningen die zijn ontworpen om de kennis van de studenten te toetsen, met antwoorden die beschikbaar zijn voor bevoegd docenten. Dit biedt een uitstekende gelegenheid voor zelfstudie en verdieping van de leerstof. Daarnaast is er gedocumenteerde, open-source Prolog-broncode beschikbaar op de bijbehorende website, waardoor studenten en docenten de algoritmen in de praktijk kunnen toepassen en verkennen.

Auteur

Mordechai (Moti) Ben-Ari is de auteur van dit boek en is verbonden aan het Department of Science Teaching aan het Weizmann Institute of Science. Hij wordt erkend als een Distinguished Educator van de ACM en heeft de prestigieuze ACM/SIGCSE Award voor Uitstekende Bijdragen aan het Computer Science Onderwijs ontvangen. Zijn expertise en sterke achtergrond in zowel het onderwijs als de computerwetenschap maken hem bij uitstek geschikt om dit belangrijke naslagwerk te schrijven.

Mathematical Logic for Computer Science is daarmee niet alleen een theoretisch maar ook een praktisch hulpmiddel voor elke student die zich begeeft op het gebied van computerwetenschappen, en biedt een waardevolle aanvulling op hun educatieve reis.