|
Theoretische Informatik für Wirtschaftsinformatik und Lehramtsstudierende (ThInfWiL)5 ECTS (englische Bezeichnung: Theory of Informatics for Business Informatics and Student Teachers)
Modulverantwortliche/r: Stefan Milius Lehrende:
Stefan Milius, Tadeusz Litak
Startsemester: |
SS 2018 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
56 Std. | Eigenstudium: |
94 Std. | Sprache: |
Deutsch |
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:
- 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
- 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
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
- 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
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|