Keine ausführliche Beschreibung für "Logik für Software-Ingenieure" verfügbar.

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.

Klappentext

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