Kapitel 1 Einführung

Kapitel 1

• Einführung

Mathematik

• Mathematik

• Algebra

• = universelle Algebra

• = algebraische Struktur

• ------------------

• Trägermenge

• Operationenfamilie

Algebra und Informatik

• Homogene oder einsortige Algebra

• Gruppe

• Monoid

• Ring

• Boolesche Algebra

• Verband

Algebra und Informatik

• Problem:

• Partialität vieler Operationen:

• Selektion, Division, Überlauf/Unterlauf,

• Lesen aus leerem Keller,

• Aufruf nichtdeklarierter Prozedur

• mehrsortige, partielle Algebren

• Theorie kompliziert

• partielle Operation totale Operation

Beispiel

Beispiel (Forts.)

Beispiel (Forts.)

Beispiel (Forts.)

Beispiel (Forts.)

Beispiel (Forts.)