Liebe Studierende der Logik I Ich habe soeben ein von mir handschriftlich verfasstes Dokument unter der Rubrik „Tutorate“ hochgeladen, welches zusätzliche Übungen zum Baumkalkül beinhaltet. Diese Bäume sind bewusst nicht besonders kompliziert gehalten, da die Beispiele eher helfen sollten, die verschiedenen Anwendungsarten des Baumkalküls aufzuzeigen. Das Ziel wäre also verständlich zu machen, wie man das
Read on »