Modul 39-Inf-6 Grundlagen Theoretischer Informatik

Fakultät

Technische Fakultät

Modulverantwortliche*r

Frau Prof'in Dr. Barbara Hammer

Turnus (Beginn)

Jedes Sommersemester

Leistungspunkte und Dauer

5 Leistungspunkte

Die Angaben zur Moduldauer finden Sie bei den Studiengängen, in denen das Modul verwendet wird.

Kompetenzen

Die Studierenden lernen Grundbegriffe der theoretischen Informatik kennen und können mit prinzipiellen Konzepten umgehen, wie zentrale Fragen der Informatik wie etwa 'was kann ein Computer berechnen', 'wie komplex ist ein Programm' formalisiert werden können.

Lehrinhalte

In diesem Modul werden Grundlagen der formalen Sprachen, Berechenbarkeit und Komplexität behandelt. Behandelte Themen sind die Chomsky-Hierarchie, insbesondere Automaten, kontextfreie Sprachen und Turingmaschinen; Zeit- und Speicherkomplexität und die Klassen P und NP; sowie die Begriffe berechenbar und rekursiv aufzählbar.

Empfohlene Vorkenntnisse

Erfolgreicher Abschluss des Moduls 39-Inf-PP (Prinzipien der Programmierung) bzw. 39-Inf-1 (Algorithmen und Datenstrukturen).

Notwendige Voraussetzungen

—

Erläuterung zu den Modulelementen

Modulstruktur: 1 bPr ¹

Veranstaltungen

Theoretische Informatik

Art Übung

Turnus SoSe

Workload⁵ 30 h (15 + 15)

LP 1

Theoretische Informatik

Art Vorlesung

Turnus SoSe

Workload⁵ 60 h (45 + 15)

LP 2

Prüfungen

Portfolio mit Abschlussprüfung

Zuordnung Prüfende Modulverantwortliche*r prüft oder bestimmt Prüfer*in

Gewichtung 1

Workload 60h

LP² 2

Portfolio mit Abschlussprüfung bestehend aus:
1) Portfolio von Übungen zu Inhalten der Vorlesung
Übungsaufgaben oder Programmieraufgaben, die veranstaltungsbezogen gestellt werden (Bestehensgrenze 50% der erzielbaren Punkte). Die Kontrolle der Übungsaufgaben umfasst auch direkte Fragen zu den Lösungsansätzen, die von den Studierenden in den Übungen beantwortet werden müssen. Der*die Lehrende kann ein individuelles Erläutern und Vorführen von Aufgaben verlangen sowie einen Teil der Übungsaufgaben durch Präsenzübungen ersetzen. Die Übungsaufgaben im Rahmen des Portfolios werden in der Regel wöchentlich ausgegeben und dienen dem begleitenden Erlernen selbständiger Umsetzungen der in der Vorlesung vorgestellten Lerninhalte.

2) einer Abschlussprüfung zur Vorlesung
Die Abschlussprüfung zu den Inhalten der Vorlesung nimmt Bezug auf die Übungs- oder Programmieraufgaben oder entwickelt sich aus den in den Übungen erlernten Kompetenzen.
Eine weitergehende Konkretisierung insbesondere zum zeitlichen Umfang der Abschlussprüfung erfolgt in der Beschreibung der Veranstaltung.

Abschlussklausur (im Umfang von ca. 60 Minuten) oder mündliche Abschlussprüfung (im Umfang von ca. 15 Minuten) zu den in der Vorlesung vermittelten und in den Übungen erarbeiteten Inhalten.

Die Klausur kann alternativ als eKlausur, Open Book Klausur oder eOpen Book Klausur geprüft werden. Im Falle von Open Book Klausur und eOpen Book Klausur beträgt der Umfang 120-180 Minuten.

Beide Portfolioelemente werden durch eine*n Prüfer*in geprüft. Es erfolgt eine abschließende Gesamtbewertung.

Weitere Hinweise

In der Studiengangsvariante Bioinformatik und Genomforschung wird empfohlen, dieses Modul mit dem Modul 39-Inf-7 zu kombinieren.

In diesen Studiengängen wird das Modul verwendet:

Studiengang	Variante	Profil	Empf. Beginn ³	Dauer	Bindung ⁴
Bioinformatik und Genomforschung / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021]	1-Fach (fw)		4.	ein Semester	Wahlpflicht
Informatik / Bachelor of Science [FsB vom 01.04.2025]	Kernfach (fw)	Technische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor of Science [FsB vom 01.04.2025]	Kernfach (fw)	Bioinformatik	2.	ein Semester	Pflicht
Informatik / Bachelor of Science [FsB vom 01.04.2025]	Kernfach (fw)	Modellbildung	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 01.04.2025]	Nebenfach (fw)		2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 01.04.2025]	Kleines Nebenfach (fw)	Softwareentwicklung	2. o. 4.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 01.04.2025]	Kleines Nebenfach (fw)	Praktische Informatik	2. o. 4.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 01.04.2025]	Kleines Nebenfach (fw)	Technische Informatik	2. o. 4.	ein Semester	Pflicht
Informatik / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.08.2023]	Kernfach (fw)	Technische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.08.2023]	Kernfach (fw)	Bioinformatik	2.	ein Semester	Pflicht
Informatik / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.08.2023]	Kernfach (fw)	Modellbildung	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023]	Nebenfach (fw)	Praktische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023]	Nebenfach (fw)	Technische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023]	Kleines Nebenfach (fw)	Softwareentwicklung	2. o. 4.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023]	Kleines Nebenfach (fw)	Praktische Informatik	2. o. 4.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023]	Kleines Nebenfach (fw)	Technische Informatik	2. o. 4.	ein Semester	Pflicht
Informatik / Bachelor of Science [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]	Kernfach (fw)	Technische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor of Science [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]	Kernfach (fw)	Bioinformatik	4.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]	Nebenfach (fw)	Praktische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]	Nebenfach (fw)	Technische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]	Kleines Nebenfach (fw)	Softwareentwicklung	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]	Kleines Nebenfach (fw)	Praktische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]	Kleines Nebenfach (fw)	Technische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]	Kernfach (fw)		2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]	Nebenfach (fw)	Praktische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]	Nebenfach (fw)	Technische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]	Kleines Nebenfach (fw)	Praktische Informatik	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]	Kleines Nebenfach (fw)	Softwareentwicklung	2.	ein Semester	Pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]	Kleines Nebenfach (fw)	Technische Informatik	2.	ein Semester	Pflicht
Kognitive Informatik / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021]	1-Fach (fw)		2.	ein Semester	Pflicht
Künstliche Intelligenz und Kognitive Informatik / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.04.2025]	1-Fach (fw)		2.	ein Semester	Pflicht
Naturwissenschaftliche Informatik / Bachelor of Science [FsB vom 01.04.2025]	1-Fach (fw)		2.	ein Semester	Pflicht
Naturwissenschaftliche Informatik / Bachelor of Science [FsB vom 30.09.2016 mit Änderung vom 01.07.2019 und 16.08.2021]	1-Fach (fw)		2.	ein Semester	Pflicht

Automatische Vollständigkeitsprüfung

In diesem Modul kann eine automatische Vollständigkeitsprüfung vom System durchgeführt werden.

Frühere Version dieses Moduls

39-Inf-6_ver1 Grundlagen Theoretischer Informatik

Legende

1: Die Modulstruktur beschreibt die zur Erbringung des Moduls notwendigen Prüfungen und Studienleistungen.
2: LP ist die Abkürzung für Leistungspunkte.
3: Die Zahlen in dieser Spalte sind die Fachsemester, in denen der Beginn des Moduls empfohlen wird. Je nach individueller Studienplanung sind gänzlich andere Studienverläufe möglich und sinnvoll.
4: Erläuterungen zur Bindung: "Pflicht" bedeutet: Dieses Modul muss im Laufe des Studiums verpflichtend absolviert werden; "Wahlpflicht" bedeutet: Dieses Modul gehört einer Anzahl von Modulen an, aus denen unter bestimmten Bedingungen ausgewählt werden kann. Genaueres regeln die "Fächerspezifischen Bestimmungen" (siehe Navigation).
5: Workload (Kontaktzeit + Selbststudium)
SoSe: Sommersemester
WiSe: Wintersemester
SL: Studienleistung
Pr: Prüfung
bPr: Anzahl benotete Modul(teil)prüfungen
uPr: Anzahl unbenotete Modul(teil)prüfungen
: Diese Leistung kann gemeldet und verbucht werden.