====== KALKÜL ====== - eine [[Methode]], die auf der Verwendung von [[Symbol]]en beruht, deren kombinatorische [[Gesetz]]e bekannt und [[allgemein]] sind und deren Resultate eine eindeutige Auslegung gestatten ([[Boole]])