Logik und Algebra, 2nd Edition

Logik und Algebra, 2nd Edition

by Frank Staab
Released June 2014
Publisher(s): De Gruyter Oldenbourg
ISBN: 9783486717532

Read it now on the O’Reilly learning platform with a 10-day free trial.

O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

Book description

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.

Table of contents

  1. Vorwort
  2. Abbildungsverzeichnis
  3. Tabellenverzeichnis
  4. 1 Einleitung
  5. 2 Logik
    1. 2.1 Logik als Formalisierung der natürlichen Sprache
    2. 2.2 Aussagenlogik
      1. 2.2.1 Grundlegende Verknüpfungen und Wahrheitstafeln
      2. 2.2.2 Implikation und Äquivalenz
      3. 2.2.3 Syntax und Semantik der Aussagenlogik
      4. 2.2.4 Tautologien und logische Gesetzmäßigkeiten
    3. 2.3 Normalformen
      1. 2.3.1 Disjunktive und konjunktive Normalformen
      2. 2.3.2 Kanonische disjunktive und kanonische konjunktive Normalformen
    4. 2.4 Logisches Schließen und Resolution
    5. 2.5 Aufgaben zu Kapitel 2
  6. 3 Mengen, Relationen und Abbildungen
    1. 3.1 Grundbegriffe
    2. 3.2 Mengenalgebra
      1. 3.2.1 Algebraische Strukturen
      2. 3.2.2 Mengenalgebraische Operationen
    3. 3.3 Relationen
      1. 3.3.1 Zweistellige Relationen
      2. 3.3.2 Äquivalenz- und Ordnungsrelationen
      3. 3.3.3 n-stellige Relationen
    4. 3.4 Abbildungen
    5. 3.5 Relationale Datenbanken
      1. 3.5.1 Relation in der Datenbanktheorie
      2. 3.5.2 Relationenalgebra
      3. 3.5.3 Funktionale Abhängigkeiten in Relationen
    6. 3.6 Aufgaben zu Kapitel 3
  7. 4 Boolesche Algebra und Schaltalgebra
    1. 4.1 Boolesche Algebren
      1. 4.1.1 Modelle der Booleschen Algebra
      2. 4.1.2 Schaltalgebra als Modell einer zweielementigen Booleschen Algebra (1/2)
      3. 4.1.2 Schaltalgebra als Modell einer zweielementigen Booleschen Algebra (2/2)
    2. 4.2 Disjunktive Minimalform, Quine-McCluskey Algorithmus
    3. 4.3 KV-Diagramme
      1. 4.3.1 Ableitung der disjunktiven Minimalform aus KV-Diagrammen
      2. 4.3.2 KV-Diagramme bei nicht vollständig definierten Funktionen
    4. 4.4 Verknüpfungsbasen
    5. 4.5 Grundlegende Schaltungen
      1. 4.5.1 Schaltgatter
      2. 4.5.2 Schaltnetze (1/2)
      3. 4.5.2 Schaltnetze (2/2)
    6. 4.6 Aufgaben zu Kapitel 4
  8. 5 Prädikatenlogik und logisches Programmieren
    1. 5.1 Grundlagen der Prädikatenlogik
    2. 5.2 Logisches Programmieren
      1. 5.2.1 PROLOG
      2. 5.2.2 Erweiterung der Resolution auf die Prädikatenlogik (1/2)
      3. 5.2.2 Erweiterung der Resolution auf die Prädikatenlogik (2/2)
    3. 5.3 Aufgaben zu Kapitel 5
  9. 6 Lösungen zu den Aufgaben
    1. 6.1 Lösungen zu Kapitel 2
    2. 6.2 Lösungen zu Kapitel 3
    3. 6.3 Lösungen zu Kapitel 4 (1/2)
    4. 6.3 Lösungen zu Kapitel 4 (2/2)
    5. 6.4 Lösungen zu Kapitel 5 (1/2)
    6. 6.4 Lösungen zu Kapitel 5 (2/2)
  10. 7 Literaturverzeichnis
  11. 8 Index

Product information

  • Title: Logik und Algebra, 2nd Edition
  • Author(s): Frank Staab
  • Release date: June 2014
  • Publisher(s): De Gruyter Oldenbourg
  • ISBN: 9783486717532