|
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 2021 | 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, Do, 12:15 - 13:45, H10)
-
Ü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, 18:15 - 19: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:
- Fachkompetenz
- Wissen
- Die Studierenden geben elementare Definitionen und Fakten zu formalen Sprachen und entsprechenden Maschinenmodellen und Grammatiken wieder.
- Verstehen
- Die Studierenden
erklären grundlegende Konzepte der Begriffe der Automaten- und Berechenbarkeits- und Komplexitätstheorie.
beschreiben Beispiele dieser Konzepte.
erläutern grundlegende Konstruktionen, Algorithmen und wesentliche Resultate und entsprechende Beweise (z.B. Unentscheibarkeit des Halteproblems).
- Anwenden
- Die Studierenden
führen Konstruktionen auf vorgelegten Maschinen und Grammatiken und Sprachen durch (z.B. Automatenminiierung, Potenzmengen-Konstruktion, Chomsky-Normierung, CYK-Algorithmus).
wenden grundlegende Beweisverfahren der theoretischen Informatik an (z.B. Induktionsbeweise, Pumping-Lemma, Reduktionen).
- Analysieren
- Die Studierenden
analysieren formale Sprachen und ermitteln ihre Zugehörigkeit zu den Klassen der Chomsky-Hierarchie.
untersuchen die Entscheidbarkeit von vorgelegten formalen Sprachen.
analysieren die Komplexität eine Entscheidungsproblem und klassifizieren es als Problem in P, NP bzw. NP-vollständig.
- Lern- bzw. Methodenkompetenz
- Die Studierenden
beherrschen das grundsätzliche Konzept des Beweises als hauptsächliche Methode des Erkenntnisgewinns in der theoretischen Informatik. Sie überblicken abstrakte Begriffsarchitekturen.
vollziehen mathematische Argumentationen nach, erklären diese, führen diese selbst und legen sie schriftlich nieder.
- Sozialkompetenz
- Die Studierenden lösen Probleme in kollaborativer Gruppenarbeit und präsentieren erarbeitete Lösungen.
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:
- 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)
- 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)
- 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)
- 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)
- Berufspädagogik Technik (Master of Education)
(Po-Vers. 2018w | TechFak | Berufspädagogik Technik (Master of Education) | Gesamtkonto | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
- Berufspädagogik Technik (Master of Education)
(Po-Vers. 2018w | TechFak | Berufspädagogik Technik (Master of Education) | Gesamtkonto | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
- Berufspädagogik Technik (Master of Education)
(Po-Vers. 2020w | TechFak | Berufspädagogik Technik (Master of Education) | Gesamtkonto | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
- Berufspädagogik Technik (Master of Education)
(Po-Vers. 2020w | TechFak | Berufspädagogik Technik (Master of Education) | Gesamtkonto | Unterrichtsfach (Zweitfach) inkl. Fachdidaktik | Informatik | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
- 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)
- Digitale Geistes- und Sozialwissenschaften (Bachelor of Arts (2 Fächer))
(Po-Vers. 2018w | PhilFak | Digitale Geistes- und Sozialwissenschaften (Bachelor of Arts (2 Fächer)) | Module der Grundlagen- und Orientierungsprüfung Digitale Geistes- und Sozialwissenschaft | Theoretische Informatik für Wirtschaftsinformatik und Lehramt)
- 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)
- 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)
- 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)
- Wirtschaftsinformatik (Bachelor of Science): 4. Semester
(Po-Vers. 100 | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Bachelorphase Wirtschaftsinformatik | Pflichtbereich (Methodenkompetenz) | Theoretische Informatik für Wirtschaftsinformatik)
- Wirtschaftsinformatik (Bachelor of Science): 4. Semester
(Po-Vers. 2010 | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Pflichtbereich (Methodenkompetenz) | weitere Pflichtmodule | Informatik | Theoretische Informatik für Wirtschaftsinformatik)
- Wirtschaftsinformatik (Bachelor of Science): 4. Semester
(Po-Vers. 2015w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Pflichtbereich | Theoretische Informatik für Wirtschaftsinformatik)
- Wirtschaftsinformatik (Bachelor of Science): 4. Semester
(Po-Vers. 2017w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Pflichtbereich und Schlüsselqualifikationen | Theoretische Informatik für Wirtschaftsinformatik)
- Wirtschaftsinformatik (Bachelor of Science)
(Po-Vers. 2018w | ReWiFak | Wirtschaftsinformatik (Bachelor of Science) | Gesamtkonto | Pflichtbereich und SQ | 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 %
- Prüfungssprache: Deutsch
- Erstablegung: SS 2021, 1. Wdh.: WS 2021/2022
- Termin: 05.10.2021, 12:00 Uhr, Ort: BASPH
Termin: 06.04.2022, 11:00 Uhr, Ort: H 9 TechF
Termin: 04.10.2022
Termin: 04.10.2022Termin: 05.10.2021, 12:00 Uhr, Ort: BASPH
Termin: 06.04.2022, 11:00 Uhr, Ort: H 9 TechF
Termin: 04.10.2022
Termin: 04.10.2022
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|