Formale Systeme: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Die Vorlesung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Aussagenlogik. Dies beinhaltet einige d…“) |
Maximilian Marx (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
Die Vorlesung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Aussagenlogik. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie Methoden zur praktischen Lösung von "schweren" (NP-vollständigen) Problemen. Damit bildet die Vorlesung die Grundlage für die Vorlesung ''Theoretische Informatik und Logik'' und für viele vertiefende Vorlesungen. | {{Vorlesungsreihe | ||
|Title=Formale Systeme | |||
|Description=Die Vorlesung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Aussagenlogik. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie Methoden zur praktischen Lösung von "schweren" (NP-vollständigen) Problemen. Damit bildet die Vorlesung die Grundlage für die Vorlesung ''Theoretische Informatik und Logik'' und für viele vertiefende Vorlesungen. | |||
}} | |||
Aktuelle Version vom 26. Oktober 2020, 17:59 Uhr
Formale Systeme
Vorlesungsreihe
Die Vorlesung Formale Systeme vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Aussagenlogik. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie Methoden zur praktischen Lösung von "schweren" (NP-vollständigen) Problemen. Damit bildet die Vorlesung die Grundlage für die Vorlesung Theoretische Informatik und Logik und für viele vertiefende Vorlesungen.
Lehrveranstaltungen
- Formale Systeme (WS 2024, Sebastian Rudolph)
- Formale Systeme (WS 2023, Markus Krötzsch)
- Formale Systeme (WS 2021, Hannes Straß)
- Formale Systeme (WS 2020, Markus Krötzsch)
- Formale Systeme (WS 2018, Steffen Hölldobler)
- Formale Systeme (WS 2017, Markus Krötzsch)
- Formale Systeme (WS 2016, Markus Krötzsch)
- Formale Systeme (WS 2015, Steffen Hölldobler)
