Buchrezension
Logik für Informatiker
Die praxiserprobte Einführung bietet unterhaltsame Anekdoten und pfiffige Beispiele. Für den Einstieg in die doch manchmal trockene Materie „Logik“ ist das Buch sehr leserinnen- bzw. lernerinnenfreundlich. Die Autoren haben zum Beispiel darauf geachtet, bei Notationen den Weg der Verwirrung möglichst zu vermeiden. Kryptische Formeln sind nicht ihr Ding – alles ist gut erklärt. Beispiele werden kapitelweise fortgeführt. Der Blick über den Tellerrand landet unter anderem auf den Anwendungen, die es für die Logik in der Informatik gibt. Dazu gehören die automatischen Computerbeweise.
Viele, auch viele kurze, Übungen führen die Leserin – also nicht nur InformatikER, auch InformatikerINNEN – durch den Stoff. Übungsaufgaben heißen da zum Beispiel „Lucy in the sky with diamonds“ oder stammen aus dem Star-Trek-Universum oder aus der Welt der Zwerge, aber auch aus dem Bauingenieurwesen mit Ensel und Krete… Frau merkt dem Buch an, dass die Autoren langjährige Vorleser und Übungsleiter sind, die viel Erfahrung mit der Materie, aber auch mit Studierenden gesammelt haben.
Fazit: Dieses Buch hätte ich gern im Studium schon gehabt!
Themen
- Was ist Logik?
- Aussagenlogik
- Hornlogik
- Prädikatenlogik
- Gleichungslogik
- Modallogik
- Temporallogik
- Dynamische, intuitionistische und Prozesslogik
- Hilbert-Kalküle
Martin Kreuzer und Stefan Kühling: „Logik für Informatiker“. Pearson Studium 2006. 24,95 EUR (D) / 25,70 EUR (A). ISBN 3-8273-7215-1.
Maria
von Maria