Seite parallel anzeigen
Kalkül
(Logik Einführung Kapitel 5.1)
Unter einem Kalkül verstehen wir ein formales Regelsystem.
Innerhalb dieses Regelsystems wollen wir unser Wissen darstellen und daraus durch mechanische Ableitungen neues Wissen generieren.
Das Konzept des Kalküls ist sehr allgemein und in der Mathematik weit verbreitet.
Wir wollen hier zunächst näher auf das Alphabet und die Formationsregeln eingehen.
Mit den Axiomen und Schlussregeln werden wir uns später näher beschäftigen.
Innerhalb dieses Regelsystems wollen wir unser Wissen darstellen und daraus durch mechanische Ableitungen neues Wissen generieren.
Das Konzept des Kalküls ist sehr allgemein und in der Mathematik weit verbreitet.
Ein Kalkül besteht aus
- einem Alphabet
- und Formationsregeln
- Axiomen
- und Schlussregeln
Wir wollen hier zunächst näher auf das Alphabet und die Formationsregeln eingehen.
Mit den Axiomen und Schlussregeln werden wir uns später näher beschäftigen.
- zurück zu Syntax
- zum Seitenanfang
- weiter zu
