Logik für Software-Ingenieure

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

Autorentext
Günter Matthiessen ist Hochschullehrer an der Hochschule Bremerhaven im Bereich Informatik/Wirtschaftsinformatik. Er hat darüber hinaus vielfältige Erfahrungen in der Durchführung von Seminaren in der Weiterbildung. Neben Fragen der Datenbanken beschäftigt er sich mit Fragen der mathematischen Grundlagen der Informatik, der Kryptologie und der IT-Sicherheit.