Theoretische Informatik – Buffl

Buffl

M

by Mathäus

Content

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

Information

Last changed
25 days ago

© 2023 Buffl GmbH