1 option
Logik für Software-Ingenieure / Günter Matthiessen.
- Format:
- Book
- Author/Creator:
- Matthiessen, Günter, Author.
- Series:
- Programmierung Komplexer Systeme / Programming Complex Systems
- Programmierung Komplexer Systeme / Programming Complex Systems ; 3
- Language:
- German
- Physical Description:
- 1 online resource (292 p.)
- Edition:
- Reprint 2019
- Place of Publication:
- Berlin ; Boston : De Gruyter, [2019]
- Language Note:
- In German.
- Summary:
- Keine ausführliche Beschreibung für "Logik für Software-Ingenieure" verfügbar.
- Contents:
- 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
- Notes:
- Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Sep 2020)
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783110860221
- 3110860228
- OCLC:
- 1110713522
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.