Vorlesungsnotizen Formale Grundlagen