Theoretische Informatik für Wirtschaftsinformatik und Lehramtsstudierende (ThInfWiL)5 ECTS
(englische Bezeichnung: Theory of Informatics for Business Informatics and Student Teachers)
(Prüfungsordnungsmodul: Theoretische Informatik für Wirtschaftsinformatik und Lehramt)

Lehrveranstaltungen:

• • Theoretische Informatik für Wirtschaftsinformatik und Lehramt
    (Vorlesung, 2 SWS, Stefan Milius, Mi, 08:15 - 09:45, H9)
  • Übung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt
    (Übung, 2 SWS, Tadeusz Litak)
  • Intensivübung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt (optional)
    (Übung, 2 SWS, Stefan Milius, Do, 10:15 - 11:45, H10)

Inhalt:

Grundlegende Begriffe und Kernergebnisse der Automatentheorie, Berechenbarkeitstheorie und Komplexitätstheorie werden überblickhaft behandelt:

• endliche Automaten und reguläre Grammatiken und Sprachen

• Kellerautomaten, kontextfreue Grammatiken und Sprachen

• Turingmaschinen und berechenbare Funktionen

• Primitiv rekursive und mü-rekursive Funktionen

• LOOP- und WHILE-Berechenbarkeit

• Entscheidbare Sprachen und Unentscheidbarkeit

• Chomsky-Hierarchie

• Komplexitätsklassen P und NP

• NP-Vollständigkeit

Lernziele und Kompetenzen:

Die Studierenden definieren und erklären grundlegenden Begriffe der theoretischen Informatik (z.B. kontextfreie/entscheidbare Sprache, primitiv rekursive Funktion etc.). Sie führen Beispiele an und geben die Begriffe in eigenen Worten wieder. Sie geben grundlegenden Konstruktionen und Beweisverfahren wieder (z.B. Minimierung von Automaten, Unentscheidbarkeit des Halteproblems, Reduktionsbeweise für NP-Vollständigkeit u.v.a.m.) und können diese Verfahren auf vorgelegte Probleme anwenden. Die Studierenden analysieren ein vorgelegtes (Entscheidung- oder Berechnungs-)Problem und können es in der Chomsky-Hierarchie einordnen und inbesondere seine Entscheidbarkeit feststellen. Sie können die Komplexität eines Problemes analysieren und seine Komplexität in den Klassen P, NP bzw. NP-Vollständig einordnen.

Literatur:

• U. Schöning: Theoretische Informatik - kurz gefasst, 5. Aufl., Spektrum 2008.

• J.E. Hopcroft, R. Motwani und J.D. Ullman: Introduction to Automata Theory, Languages, and Computation, 2. Aufl., Addison Wesley, 2001.

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | Grundlagen- und Orientierungsprüfung | Module der Grundlagen- und Orientierungsprüfung Informatik | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
2. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | Bachelorprüfung | Bachelor-Module Informatik | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)

Studien-/Prüfungsleistungen:

Theoretische Informatik für Wirtschaftsinformatik und Lehramt (Prüfungsnummer: 34501)

Prüfungsleistung, Klausur, Dauer (in Minuten): 90, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

Erstablegung: SS 2014, 1. Wdh.: WS 2014/2015

1. Prüfer:

Stefan Milius

Termin: 16.09.2014, 11:00 Uhr, Ort: H 8 TechF
Termin: 18.02.2015, 10:00 Uhr, Ort: H 8 TechF
Termin: 01.09.2015, 10:00 Uhr, Ort: H8 TechFak
Termin: 01.03.2016, 14:00 Uhr, Ort: H 8 TechF