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

Lehrveranstaltungen:

• • Theoretische Informatik für Wirtschaftsinformatik und Lehramt
    (Vorlesung, 2 SWS, Stefan Milius, Mi, 12:15 - 13:45, H5)
  • Ü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, Mi, 16:15 - 17:45, H4)

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:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. 079#72#H
   (Po-Vers. 2007 | TechFak | Informatik (1. Staatsprüfung für das Lehramt an Hauptschulen) | Grundlagen- und Orientierungsprüfung | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
2. 079#74#H
   (Po-Vers. 2013 | TechFak | Informatik (1. Staatsprüfung für das Lehramt an Mittelschulen) | Pflichtmodule der Grundlagen- und Orientierungsprüfung (GOP) | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
3. Berufspädagogik Technik (Master of Education)
   (Po-Vers. 2010 | TechFak | Berufspädagogik Technik (Master of Education) | Studienrichtung Elektro- und Informationstechnik (Masterprüfungen) | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
4. Berufspädagogik Technik (Master of Education)
   (Po-Vers. 2010 | TechFak | Berufspädagogik Technik (Master of Education) | Studienrichtung Metalltechnik (Masterprüfungen) | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
5. Digitale Geistes- und Sozialwissenschaften (Bachelor of Arts (2 Fächer)): 2. Semester
   (Po-Vers. 2016w | PhilFak | Digitale Geistes- und Sozialwissenschaften (Bachelor of Arts (2 Fächer)) | weitere Pflichtmodule der Bachelorprüfung sowie Wahlpflichtmodule der GOP | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
6. Informatik (1. Staatsprüfung für das Lehramt an Gymnasien)
   (Po-Vers. 2007 | TechFak | Informatik (1. Staatsprüfung für das Lehramt an Gymnasien) | Grundlagen- und Orientierungsprüfung | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
7. Informatik (1. Staatsprüfung für das Lehramt an Realschulen)
   (Po-Vers. 2007 | TechFak | Informatik (1. Staatsprüfung für das Lehramt an Realschulen) | Grundlagen- und Orientierungsprüfung | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
8. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Grundlagen- und Orientierungsprüfung (GOP) | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
9. Wirtschaftsinformatik (Bachelor of Science): 4. Semester
   (Po-Vers. 100 | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | alte Prüfungsordnungen | Bachelorprüfung | Bachelorphase Wirtschaftsinformatik | Pflichtbereich (Methodenkompetenz) | Theoretische Informatik für Wirtschaftsinformatik)
10. Wirtschaftsinformatik (Bachelor of Science): 4. Semester
    (Po-Vers. 2010 | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Pflichtbereich (Methodenkompetenz) | weitere Pflichtmodule | Informatik | Theoretische Informatik für Wirtschaftsinformatik)
11. Wirtschaftsinformatik (Bachelor of Science): 4. Semester
    (Po-Vers. 2015w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Bachelorprüfung | Pflichtbereich | Theoretische Informatik für Wirtschaftsinformatik)
12. Wirtschaftsinformatik (Bachelor of Science): 4. Semester
    (Po-Vers. 2017w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Bachelorprüfung | Pflichtbereich und Schlüsselqualifikationen | Theoretische Informatik für Wirtschaftsinformatik)

Studien-/Prüfungsleistungen:

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

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

Anteil an der Berechnung der Modulnote: 100.0 %

Erstablegung: SS 2018, 1. Wdh.: WS 2018/2019

1. Prüfer:

Stefan Milius

Termin: 18.09.2018, 10:00 Uhr, Ort: HG, Physikum, Staudtstr. 5
Termin: 04.04.2019, 11:00 Uhr, Ort: H 8 TechF
Termin: 17.09.2019, 10:00 Uhr, Ort: H5/H6 TechFak

Theoretische Informatik für Lehramtsstudierende (Übungsleistung) (Prüfungsnummer: 32002)

(englischer Titel: Tutorial Credit: Theoretical Computer Science for Teaching)

Studienleistung, Übungsleistung, unbenotet, 2.5 ECTS

weitere Erläuterungen:
die Übunsgleistung gilt als bestanden, wenn mindestens 50% der erreichbaren Hausaufgabenpunkte erreicht sind

Erstablegung: SS 2018

1. Prüfer:

Stefan Milius

Theoretische Informatik für Lehramtsstudierende (Klausur) (Prüfungsnummer: 32001)

(englischer Titel: Examination (Klausur) on Theoretical Computer Science for Teaching)

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

Anteil an der Berechnung der Modulnote: 100.0 %

Erstablegung: SS 2018, 1. Wdh.: WS 2018/2019

1. Prüfer:

Stefan Milius

Termin: 18.09.2018, 10:00 Uhr, Ort: HG, Physikum, Staudtstr. 5
Termin: 04.04.2019, 11:00 Uhr, Ort: H 8 TechF
Termin: 17.09.2019, 10:00 Uhr, Ort: H5/H6 TechFak