| Vorwort | 5 |
|---|
| Abbildungsverzeichnis | 9 |
|---|
| Tabellenverzeichnis | 11 |
|---|
| 1 Einleitung | 13 |
|---|
| 2 Logik | 15 |
|---|
| 2.1 Logik als Formalisierung der natürlichen Sprache | 15 |
| 2.2 Aussagenlogik | 16 |
| 2.2.1 Grundlegende Verknüpfungen und Wahrheitstafeln | 16 |
| 2.2.2 Implikation und Äquivalenz | 19 |
| 2.2.3 Syntax und Semantik der Aussagenlogik | 22 |
| 2.2.4 Tautologien und logische Gesetzmäßigkeiten | 25 |
| 2.3 Normalformen | 28 |
| 2.3.1 Disjunktive und konjunktive Normalformen | 30 |
| 2.3.2 Kanonische disjunktive und kanonische konjunktive Normalformen | 32 |
| 2.4 Logisches Schließen und Resolution | 34 |
| 2.5 Aufgaben zu Kapitel 2 | 38 |
| 3 Mengen, Relationen und Abbildungen | 41 |
|---|
| 3.1 Grundbegriffe | 41 |
| 3.2 Mengenalgebra | 44 |
| 3.2.1 Algebraische Strukturen | 44 |
| 3.2.2 Mengenalgebraische Operationen | 47 |
| 3.3 Relationen | 50 |
| 3.3.1 Zweistellige Relationen | 50 |
| 3.3.2 Äquivalenz- und Ordnungsrelationen | 51 |
| 3.3.3 n-stellige Relationen | 54 |
| 3.4 Abbildungen | 55 |
| 3.5 Relationale Datenbanken | 57 |
| 3.5.1 Relation in der Datenbanktheorie | 57 |
| 3.5.2 Relationenalgebra | 60 |
| 3.5.3 Funktionale Abhängigkeiten in Relationen | 65 |
| 3.6 Aufgaben zu Kapitel 3 | 68 |
| 4 Boolesche Algebra und Schaltalgebra | 71 |
|---|
| 4.1 Boolesche Algebren | 71 |
| 4.1.1 Modelle der Booleschen Algebra | 73 |
| 4.1.2 Schaltalgebra als Modell einer zweielementigen Booleschen Algebra | 76 |
| 4.2 Disjunktive Minimalform, Quine-McCluskey Algorithmus | 86 |
| 4.3 KV-Diagramme | 91 |
| 4.3.1 Ableitung der disjunktiven Minimalform aus KV-Diagrammen | 91 |
| 4.3.2 KV-Diagramme bei nicht vollständig definierten Funktionen | 95 |
| 4.4 Verknüpfungsbasen | 99 |
| 4.5 Grundlegende Schaltungen | 103 |
| 4.5.1 Schaltgatter | 103 |
| 4.5.2 Schaltnetze | 105 |
| 4.6 Aufgaben zu Kapitel 4 | 111 |
| 5 Prädikatenlogik und logisches Programmieren | 115 |
|---|
| 5.1 Grundlagen der Prädikatenlogik | 115 |
| 5.2 Logisches Programmieren | 118 |
| 5.2.1 PROLOG | 118 |
| 5.2.2 Erweiterung der Resolution auf die Prädikatenlogik | 123 |
| 5.3 Aufgaben zu Kapitel 5 | 129 |
| 6 Lösungen zu den Aufgaben | 131 |
|---|
| 6.1 Lösungen zu Kapitel 2 | 131 |
| 6.2 Lösungen zu Kapitel 3 | 136 |
| 6.3 Lösungen zu Kapitel 4 | 140 |
| 6.4 Lösungen zu Kapitel 5 | 147 |
| 7 Literaturverzeichnis | 155 |
|---|
| 8 Index | 157 |
|---|
