Logic for Computer Scientists

by Uwe Schöning

By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science. A minimal mathematical basis is required, such as an understanding of the notation and knowledge about the basic mathematical proof techniques induction). More sophisticated mathematical kno- edge not a precondition read this book. Acquaintance with some conventional programming language, PASCAL, assumed. Several people helped in various ways in the preparation process of the original German version of this Johannes KSbler, Eveline and Rainer Schuler, and Hermann Engesser from B.I. Wissenschaftsverlag. Regarding the English version, I want to express my deep gratitude to Prof. Ronald Book. Without him, this translated version of the book would not have been possible.

Genres: Computer Science, Logic, Mathematics, Textbooks, German Literature

177 pages, Paperback

First published July 1, 1992

Reviews

[Leonie · Rating 3 out of 5]

I spent more time with this book than with humans in the past couple of weeks so I feel like I'm allowed to add it to my "read" pile.
It did help me get a mad score in my exam, though, so that's great.

[A YOGAM · Rating 4 out of 5]

Uwe Schöning: Logik für Informatiker – Die Grammatik der digitalen Vernunft
Uwe Schönings Buch ist die Grundsteinlegung des digitalen Denkens; es ist nicht nur ein Lehrbuch, sondern die Offenbarung der reinen Vernunft der Maschine. In einer Zeit, in der wir uns mit KI, Algorithmen und ihrer rasenden Entwicklung auseinandersetzen, lehrt uns Schöning die Grammatik jenes Universums, in dem Computer überhaupt erst existieren können: Prädikatenlogik, formale Systeme, Beweistheorie. Wer dieses Buch studiert, erwirbt das Apriori des digitalen Zeitalters und versteht die tiefen, philosophischen Gründe dafür, warum eine Null überhaupt von einer Eins unterschieden werden kann. Die Lektüre ist anspruchsvoll, aber sie führt zur Meisterschaft des logischen Arguments – der einzigen Währung, die in der Informatik wirklich zählt.

Ist das Buch eine bessere Alternative zu Learning GNU Emacs?
Die Frage nach einer „besseren“ Alternative ist ein kategorialer Irrtum, denn die beiden Bücher stehen nicht in Konkurrenz, sondern in einer dialektischen Beziehung.
„Emacs ist der asketische, hochspezialisierte Kult der Praxis. Wer Emacs beherrscht, ist ein Handwerker, der weiß, wie man die digitale Welt effizient bedient – der Meister der Technik.
Schönings Logik hingegen ist die metaphysische Grundlage dieser Welt. Sie ist der unsichtbare Code, der Emacs, Texteditoren und letztlich jede Form digitaler Verarbeitung überhaupt erst ermöglicht.
Man kann Emacs meistern, ohne Schöning zu verstehen – aber man wird nie wirklich begreifen, warum es funktioniert. Die Logik ist die Muße des Geistes (theōria), bevor man zur praktischen Arbeit am Text übergeht.
Daher gilt: Es ist keine „Alternative“, sondern der notwendige Unterbau für jeden, der über das bloße Werkzeug hinauswachsen möchte.
Einzelheiten zu Emacs entnehme man hier:
https://www.goodreads.com/book/show/8...
Einzelheiten zu Metaphern in der Informatik entnehme man hier:
https://www.goodreads.com/book/show/2...

[Aderx · Rating 3 out of 5]

Good introductory book but Leaves lots of Important topics out of the book. Has good and simple prose but lacks details and enough examples on some subjects

[Woflmao · Rating 5 out of 5]

Dieses Buch ist eine Einführung in die formale Logik, mit dem Ziel, die Grundlagen der Logikprogrammierung (Prolog) zu vermitteln. Das gelingt auch sehr gut, die Erklärungen sind sehr ausführlich und es werden (mit den Übungsaufgaben) viele Beispiele zur Illustration gegeben.
Der Fokus ist dementsprechend auf dem Resolutionskalkül und den Aspekten seiner praktischen Umsetzung. Andere Themen der Logik kommen hier allerdings eher kurz.

[dorthrithil · Rating 4 out of 5]

this helped me a lot.

[Christian · Rating 4 out of 5]

Von Titel her zwar belächelt, aber inhaltlich gut verständlich.