Logik und Algebra : eine praxisbezogene Einfuahrung fur Informatiker und Wirtschaftsinformatiker

Logik und Algebra (2007)\r......Page 1
Wirtschaftsinformatik kompakt......Page 3
ISBN: 9783486583700......Page 5
Vorwort......Page 6
--> Inhalt......Page 8
Abbildungsverzeichnis......Page 10
Tabellenverzeichnis......Page 11
1 Einleitung......Page 14
2.1 Logik als Formalisierung der natürlichen Sprache......Page 16
2.2.1 Grundlegende Verknüpfungen und Wahrheitstafeln......Page 17
2.2.2 Implikation und Äquivalenz......Page 20
2.2.3 Syntax und Semantik der Aussagenlogik......Page 23
2.2.4 Tautologien und logische Gesetzmäßigkeiten......Page 26
2.3 Normalformen......Page 29
2.3.1 Disjunktive und konjunktive Normalformen......Page 31
2.3.2 Kanonische disjunktive und kanonische konjunktive Normalformen......Page 33
2.4 Logisches Schließen und Resolution......Page 35
2.5 Aufgaben zu Kapitel 2......Page 39
3.1 Grundbegriffe......Page 42
3.2.1 Algebraische Strukturen......Page 45
3.2.2 Mengenalgebraische Operationen......Page 48
3.3.1 Zweistellige Relationen......Page 51
3.3.2 Äquivalenz- und Ordnungsrelationen......Page 52
3.3.3 n-stellige Relationen......Page 55
3.4 Abbildungen......Page 56
3.5.1 Relation in der Datenbanktheorie......Page 58
3.5.2 Relationenalgebra......Page 61
3.5.3 Funktionale Abhängigkeiten in Relationen......Page 66
3.6 Aufgaben zu Kapitel 3......Page 69
4.1 Boolesche Algebren......Page 72
4.1.1 Modelle der Booleschen Algebra......Page 74
4.1.2 Schaltalgebra als Modell einer zweielementigen Booleschen Algebra......Page 77
4.2 Disjunktive Minimalform, Quine-McCluskey Algorithmus......Page 87
4.3.1 Ableitung der disjunktiven Minimalform aus KVDiagrammen......Page 92
4.3.2 KV-Diagramme bei nicht vollständig definierten Funktionen......Page 97
4.4 Verknüpfungsbasen......Page 100
4.5.1 Schaltgatter......Page 104
4.5.2 Schaltnetze......Page 106
4.6 Aufgaben zu Kapitel 4......Page 112
5.1 Grundlagen der Prädikatenlogik......Page 115
5.2.1 PROLOG......Page 118
5.2.2 Erweiterung der Resolution auf die Prädikatenlogik......Page 123
5.3 Aufgaben zu Kapitel 5......Page 129
6.1 Lösungen zu Kapitel 2......Page 131
6.2 Lösungen zu Kapitel 3......Page 136
6.3 Lösungen zu Kapitel 4......Page 141
6.4 Lösungen zu Kapitel 5......Page 148
Literaturverzeichnis......Page 155
Index......Page 157