Theoretische Informatik – Buffl

Buffl

M

von Mathäus

Inhalte

1. Aussagenlogik

2. Prädikatenlogik

3. Endliche Automaten und reguläre Ausdrücke

4. Formale Sprachen und Grammatiken

5. Berechenbarkeit und Turing-Maschinen

6. Kompexitätstheorie

7. Petri-Netze

8. Anwendungen der mathematischen Logik

Author

Mathäus

Informationen

Zuletzt geändert
vor 24 Tagen

© 2023 Buffl GmbH