3.0/2.0 VU Formale Modellierung (185.A06) – SS2016

Vorlesungsunterlagen

Alle Unterlagen dieser Lehrveranstaltungen aus dem Sommersemester 2016 sind im entsprechenden TUWEL Kurs zu finden. Einige davon werden hier dupliziert, um sie allgemein zugänglich zu machen.

• 0. Überblick
• 1. Organisatorisches
• 2. Modellierung
• 3. Aussagenlogik
• 4. Endliche Automaten
• 5. Reguläre Sprachen
• 6. Kontextfreie Grammatiken
• 7. Prädikatenlogik
• 8. Petri-Netze