Vorlesungsverzeichnis

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

Start > Leuphana Bachelor (B.A./B.Eng./B.Sc./LL.B.) -> Major Wirtschaftsinformatik (bis Studienbeginn WiSe 19/20) -> Formale Methoden

Lehrveranstaltungen

Grundlagen des Operations Research (Vorlesung)

Dozent/in: Lin Xie

Termin:
 wöchentlich | Dienstag | 10:15 - 11:45 | 18.10.2021 - 04.02.2022 | C 3.121
wöchentlich | Dienstag | 12:15 - 13:45 | 18.10.2021 - 04.02.2022 | C 3.121

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

Termin:
 14-täglich | Dienstag | 12:15 - 15:45 | 02.11.2021 - 04.02.2022 | W HS 3
14-täglich | Donnerstag | 14:15 - 15:45 | 04.11.2021 - 04.02.2022 | W HS 3
Einzeltermin | Do, 18.11.2021, 15:45 - Do, 18.11.2021, 17:30 | W HS 3 | Nachholtermin
Einzeltermin | Do, 02.12.2021, 15:45 - Do, 02.12.2021, 17:30 | W HS 3 | Nachholtermin
Einzeltermin | Di, 21.12.2021, 12:15 - Di, 21.12.2021, 15:45 | W HS 3
Einzeltermin | Do, 27.01.2022, 15:45 - Do, 27.01.2022, 17:30 | W HS 3 | Nachholtermin
Einzeltermin | Di, 01.02.2022, 12:15 - Di, 01.02.2022, 15:45 | W HS 3
Einzeltermin | Do, 03.02.2022, 14:15 - Do, 03.02.2022, 15:45 | W HS 3
Einzeltermin | Do, 03.02.2022, 15:45 - Do, 03.02.2022, 17:30 | W HS 3 | Nachholtermin
Einzeltermin | Do, 10.02.2022, 14:15 - Do, 10.02.2022, 15:45 | W HS 3 | Klausurvorbereitung

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