🧿

FMod

Modellierung
Logik
Aussagenlogik
Prädikatenlogik
Formale Sprachen
Reguläre Sprachen
Kontextfreie Grammatiken
Endliche Automaten
Petri-Netze

Aufgabenblätter mit Musterlösung

https://vowi.fsinf.at/wiki/TU_Wien:Formale_Modellierung_VU_(Salzer)

📎 Meine Abgaben