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

Auch erhältlich als:

eBook (pdf)
119,95
119,95 inkl. MwSt.
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

Hersteller
de Gruyter Mouton
Genthiner Straße 13

DE - 10785 Berlin

E-Mail: productsafety@degruyterbrill.com