Logik und Algebra

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.

Inhalt
Logik, Mengen, Relationen und Abbildungen, Boolesche Algebra und Schaltalgebra, Prädikatenlogik und logisches Programmieren