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 |