Logik für Software-Ingenieure
Günter Matthiessen
Frontmatter — Vorwort der Herausgeber — Vorwort — Inhaltsverzeichnis — 1. Einleitung — 2. Relationen, Funktionen und Listen — 3. Aussagenlogik — 4. Boolesche Algebra — 5. Kalküle und Algorithmen — 6. Funktionen und Relationen in der Programmierung — 7. Prädikatenlogik — 8. Mehrwertige Logik — 9. Prädikatenlogik und SQL — Anhang A. Metasprache zur Syntax-Beschreibung — Anhang B. Liste der benutzten Symbole — Anhang C. Programm-Beispiele — Literatur — Index