Modul 39-Inf-6 Grundlagen Theoretischer Informatik

Fakultät

Technische Fakultät

Modulverantwortliche*r

Frau Prof'in Dr. Barbara Hammer

Turnus (Beginn)

Jedes Wintersemester

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

Inf-1 Algorithmen und Datenstrukturen

Notwendige Voraussetzungen

—

Erläuterung zu den Modulelementen

Die Modul(teil)prüfung kann in einigen Studiengängen nach Wahl der Studierenden auch "unbenotet" erbracht werden. Vor Erbringung ist eine entsprechende Festlegung vorzunehmen, eine nachträgliche Änderung (benotet - unbenotet) ist ausgeschlossen. Wird diese Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.

Modulstruktur: 0-1 bPr, 0-1 uPr ¹

Veranstaltungen

Theoretische Informatik

Art Übung

Turnus WiSe

Workload⁵ 30h (15 + 15)

LP 1

Theoretische Informatik

Art Vorlesung

Turnus WiSe

Workload⁵ 60h (45 + 15)

LP 2 [Pr] [Pr]

Prüfungen

Theoretische Informatik (Vorlesung)

Art Portfolio mit Abschlussprüfung

Gewichtung unbenotet

Workload 60h

LP² 2

In einigen Studiengängen der Technischen Fakultät kann die Modulprüfung nach Wahl der Studierenden auch "unbenotet" erbracht werden (s. Erläuterungen zu den Modulelementen und die jeweilige FsB). Wird die unbenotete Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.
Erläuterungen zu dieser Prüfung siehe unten (benotete Prüfungsvariante).

Theoretische Informatik (Vorlesung)

Art Portfolio mit Abschlussprüfung

Gewichtung 1

Workload 60h

LP² 2

Portfolio aus Übungsaufgaben, die veranstaltungsbegleitend und in der Regel zweiwöchentlich gestellt werden, und Abschlussklausur (in der Regel 60 min) oder mündlicher Abschlussprüfung (in der Regel 15 min). Die Übungsaufgaben ergänzen und vertiefen den Inhalt der Vorlesung.
Nachweis einer ausreichenden Zahl korrekt gelöster Übungsaufgaben (in der Regel 50% der im Semester für das Lösen der Aufgaben erzielbaren Punkte).

Weitere Hinweise

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

Bis einschließlich WiSe 2016/17 ist der Turnus des Moduls: Jedes Wintersemester. Ab SoSe 2017 ist der Turnus des Moduls: Jedes Sommersemester.

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)		5.	ein Semester	Wahlpflicht
Bioinformatik und Genomforschung / Bachelor of Science [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015]	1-Fach (fw)		5.	ein Semester	Wahlpflicht
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
Informatik / Bachelor [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015]	Nebenfach (fw)		3. o. 5.	ein Semester	Wahlpflicht
Informatik / Bachelor [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015]	Kleines Nebenfach (fw)		3. o. 5.	ein Semester	Wahlpflicht
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
Kognitive Informatik / Bachelor of Science [FsB vom 31.08.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015, 17.08.2015 und Berichtigung vom 01.12.2015]	1-Fach (fw)		3.	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
Naturwissenschaftliche Informatik / Bachelor of Science [FsB vom 31.08.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015]	1-Fach (fw)		3.	ein Semester	Pflicht

Automatische Vollständigkeitsprüfung

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

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)
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.