Blick ins Buch Logik für Software-Ingenieure - Günter Matthiessen

Günter Matthiessen

Logik für Software-Ingenieure

Reprint 2019. 23,6 cm / 16,0 cm / 2,2 cm ( B/H/T )
Buch (Hardcover), 292 Seiten
EAN 9783110122282
Veröffentlicht September 1991
Verlag/Hersteller De Gruyter
Leseprobe öffnen
Leseprobe herunterladen

Auch erhältlich als:

eBook (pdf)
€ 119,95
€ 119,95 inkl. MwSt.
Auf die Wunschliste
Teilen
Beschreibung

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