Kooperativer Bibliotheksverbund

UID:

Format: X, 282 S. : , graph. Darst.

ISBN: 3-11-012228-6

Series Statement: Programmierung komplexer Systeme 3

Language: German

Subjects: Computer Science , Mathematics

Keywords: Mathematische Logik ; Informatik ; Mathematische Logik ; Software Engineering ; Mathematische Logik ; Logische Programmierung ; Software ; Logik ; Logik ; Software Engineering

URL: Inhaltstext

Author information: Matthiessen, Günter

UID:

Format: 1 online resource (292 p.)

Edition: Reprint 2019

ISBN: 9783110860221

Series Statement: Programmierung Komplexer Systeme / Programming Complex Systems ; 3

Note: 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 , In German.

Additional Edition: ISBN 9783110122282

Language: German

DOI: 10.1515/9783110860221

URL: https://doi.org/10.1515/9783110860221

URL: https://doi.org/10.1515/9783110860221

UID:

Format: 1 online resource (282 p.)

Edition: Reprint 2019

ISBN: 9783110860221 , 9783110637236

Series Statement: Programmierung Komplexer Systeme / Programming Complex Systems ; 3

Note: Mode of access: Internet via World Wide Web. , In German.

In: DGBA Physical Sciences 1990 - 1999, De Gruyter, 9783110637236

Additional Edition: ISBN 9783110122282

Language: German

DOI: 10.1515/9783110860221

URL: https://doi.org/10.1515/9783110860221

URL: https://www.degruyter.com/isbn/9783110860221

URL: Cover