Logik im Klartext

Im Klartext - die neue Lernbuchreihe für Studierende der Informatik im Grundstudium. Kompakte, prägnante und verständlich geschriebene Einführungstexte zu Kernbereichen des Studiums. Für die effiziente Vorbereitung auf Klausuren und Prüfungen. Verfasst von erfahrenen Hochschuldozenten. Mit Fallstudien, Beispielen, Übungen und Website zum Buch.
Logik im Klartext
erläutert die Grundlagen der formalen Logik. Ohne allzu fundierte mathematische Kenntnisse vorauszusetzen wird das Grundwissen vermittelt, das nicht nur Informatiker für die Analyse und Anwendung logischer Techniken benötigen. Stellt jedes neue Konzept Schritt für Schritt vor. Mit vielen Beispiele und Übungen in jedem Kapitel, teilweise mit Lösungen im Buch. Faustregeln und Tipps für die Lösung schwieriger Probleme. Zum Buch:
"Logik im Klartext" geht das Thema Logik praktisch an. In informellem, verständlichen Stil zeigt Kelly zunächst den Umgang mit dem "Handwerkszeug" des Logikers, zu dem auch praktische Tipps und Faustregeln gehören. Nachdem der Leser mit dem nötigen Rüstzeug vertraut ist, wird der Stil des Buches formaler und der Autor beschreibt, wie Probleme in formalen Begriffen ausgedrückt werden und welche möglichen Wege es für den mathematischen Beweis eines logischen Satzes gibt. Die zahlreichen Übungsaufgaben in den einzelnen Kapiteln lassen den Leser das gerade Gelernte Ausprobieren und Üben, viele der Lösungen sind bereits im Buch zu finden. Die ausführlich erläuterten Beispiele zu Sätzen und Definitionen stammen überwiegend aus dem Bereich der theoretischen und angewandten Informatik.
Über den Autor:
John Kelly war Dozent für Informatik am University College in Dublin.