Vorlesungsverzeichnis

Suchen Sie hier über ein Suchformular im Vorlesungsverzeichnis der Leuphana.

Start > Leuphana Bachelor (B.A./B.Eng./B.Sc./LL.B.) -> Major Wirtschaftsinformatik (ab Studienbeginn WiSe 12/13) -> Formale Methoden

Lehrveranstaltungen

Grundlagen des Operations Research (Vorlesung)

Dozent/in: Lin Xie

Termin:
wöchentlich | Dienstag | 10:15 - 11:45 | 12.10.2020 - 29.01.2021 | Online-Veranstaltung
wöchentlich | Donnerstag | 10:15 - 11:45 | 12.10.2020 - 29.01.2021 | Online-Veranstaltung

Inhalt: Im diesem Modul werden in Form einer Vorlesung Modellierungstechniken und Lösungsverfahren für Optimierungsprobleme gelehrt. Die Inhalte werden in einer begleitenden Übung vertieft. Die Eigenstudiumsanteile werden in studentischen Arbeitsgruppen realisiert.

Theoretische Informatik (Vorlesung)

Dozent/in: Ulrich Hoffmann

Inhalt: Das Modul vermittelt Grundkenntnisse aus folgenden Teilgebieten: Grundlagen · Modelle der Berechenbarkeit (Turingmaschinen, Registermaschinen), Churchsche These · Entscheidbarkeit, Aufzählbarkeit und Grenzen der Berechenbarkeit Komplexität von Algorithmen · Zeitkomplexität, Platzkomplexität · Das P-NP-Problem · Theorie der NP-Vollständigkeit · Probabilistische Berechnungmodelle und Komplexitätsklassen, Ausblicke Elemente der Theorie Formaler Sprachen und der Automatentheorie · Chomsky-Hierarchie mit Schwerpunkt auf kontextsensitive, kontextfreie und reguläre Sprachen · Verbindung der Sprachklassen mit speziellen Automatentypen · Entscheidungsprobleme für formale Sprachen Aktuelle Themen der Theoretischen Informatik