Logik und Algebra - Frank Staab

. .

Résumé :
Ein Computer ist letztendlich nichts anderes als in Hardware umgesetzte Boolesche Algebra. Ohne Verst?ndnis dieser algebraischen Struktur kann man die Funktionsweise eines Rechners nie begreifen, und dazu sollte jeder Informatik- oder Wirtschaftsinformatikstudent in der Lage sein, auch dann, wenn sein Aufgabengebiet sp?ter nicht der Entwurf digitaler Schaltungen sein wird. Ein Fehlen solcher Anwendungsbez?ge ist auch deswegen schade, weil sie immer wieder auf der Hand liegen und damit zur Motivation f?r den sonst eher als trocken geltenden Stoff dienen k?nnten. Ein gutes Beispiel hierf?r ist der auf der Mengenlehre aufbauende Begriff der Relation, welcher sp?ter grundlegend f?r das Verst?ndnis relationaler Datenbanken ist. In diesem Buch werden - um bei diesem Beispiel zu bleiben - die Zusammenh?nge zwischen Relationen, Funktionen und relationalen Datenbanken tiefer aufgezeigt, als dies ?blicherweise in anderen, rein mathematisch orientierten Einf?hrungswerken ?blich ist. erken ?blich ist.

Sommaire:
Logik, Mengen, Relationen und Abbildungen, Boolesche Algebra und Schaltalgebra, Pr?dikatenlogik und logisches Programmieren