Logik, Berechenbarkeit und Komplexität

Das 1. Übungsblatt ist online.