Mathematische Logik
Titel: Mathematische Logik Organisation: UNI HEIDELBERG Seitenzahl: 248 Skript herunterladen (PDF) Inhalt I Collegium Logicum Die Aussagenlogik Syntax der Aussagenlogik Definition der aussagenlogischen Formeln Induktion und Rekursion Beweis durch Induktion über den Formelaufbau Definition durch Rekursion über den Formelaufbau Semantik der Aussagenlogik Wahrheitsfunktionen Interpretation von aussagenlogischen Formeln Definition der wichtigsten semantischen Begriffe Einige wichtige allgemeingültige [...]
