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 WiSe 12/13) -> Formale Methoden

Lehrveranstaltungen

Grundlagen des Operations Research (Vorlesung)

Dozent/in: Ruslan Krenzler, Lin Xie

Termin:
 wöchentlich | Donnerstag | 14:15 - 15:45 | 15.10.2018 - 01.02.2019 | C 6.316 Seminarraum
Einzeltermin | Di, 16.10.2018, 10:15 - Di, 16.10.2018, 11:45 | C 6.317 Seminarraum
wöchentlich | Dienstag | 10:15 - 11:45 | 22.10.2018 - 16.11.2018 | C 12.006 Seminarraum
Einzeltermin | Di, 20.11.2018, 10:15 - Di, 20.11.2018, 11:45 | C 12.006 Seminarraum
wöchentlich | Dienstag | 10:15 - 11:45 | 27.11.2018 - 01.02.2019 | C 6.317 Seminarraum
Einzeltermin | Mi, 20.02.2019, 10:00 - Mi, 20.02.2019, 13:00 | C 9.102 Seminarraum | Probeklausur

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:
 wöchentlich | Dienstag | 12:15 - 13:45 | 15.10.2018 - 15.01.2019 | W HS 3
wöchentlich | Donnerstag | 14:15 - 15:45 | 15.10.2018 - 01.02.2019 | W HS 1
Einzeltermin | Di, 22.01.2019, 12:15 - Di, 22.01.2019, 13:45 | W 307 | Gastvortrag
Einzeltermin | Di, 29.01.2019, 12:15 - Di, 29.01.2019, 13:45 | W HS 3
Einzeltermin | Di, 05.02.2019, 12:15 - Di, 05.02.2019, 13:45 | W HS 2
Einzeltermin | Do, 07.02.2019, 12:15 - Do, 07.02.2019, 13:45 | W HS 2

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