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



Zusammenfassung
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
Titel
Logik für Software-Ingenieure
EAN
9783110860221
Format
E-Book (pdf)
Hersteller
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
19.76 MB
Anzahl Seiten
282
Auflage
Reprint 2019
Lesemotiv