Chapter
Licensed
Unlicensed
Requires Authentication
5 Prädikatenlogik und logisches Programmieren
You are currently not able to access this content.
You are currently not able to access this content.
Chapters in this book
- Frontmatter i
- Vorwort v
- Inhalt vii
- Abbildungsverzeichnis ix
- Tabellenverzeichnis xi
- 1 Einleitung 1
- 2 Logik 3
- 3 Mengen, Relationen und Abbildungen 29
- 4 Boolesche Algebra und Schaltalgebra 59
- 5 Prädikatenlogik und logisches Programmieren 103
- 6 Lösungen zu den Aufgaben 119
- 7 Literaturverzeichnis 143
- 8 Index 145
Chapters in this book
- Frontmatter i
- Vorwort v
- Inhalt vii
- Abbildungsverzeichnis ix
- Tabellenverzeichnis xi
- 1 Einleitung 1
- 2 Logik 3
- 3 Mengen, Relationen und Abbildungen 29
- 4 Boolesche Algebra und Schaltalgebra 59
- 5 Prädikatenlogik und logisches Programmieren 103
- 6 Lösungen zu den Aufgaben 119
- 7 Literaturverzeichnis 143
- 8 Index 145
