Kapitel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
5 Prädikatenlogik und logisches Programmieren
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Kapitel in diesem Buch
- 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
Kapitel in diesem Buch
- 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
