


Modul 39-Inf-6 Grundlagen Theoretischer Informatik
Fakultät
Modulverantwortliche*r
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 1
Veranstaltungen
Titel | Art | Turnus | Workload (Kontaktzeit + Selbststudium) | LP2 |
---|---|---|---|---|
Theoretische Informatik | Übung | WiSe | 30h (15 + 15) | 1 |
Theoretische Informatik | Vorlesung | WiSe | 60h (45 + 15) | 2 [Pr] [Pr] |
Prüfungen
Organisatorische Zuordnung | Art | Gewichtung | Workload | LP2 |
---|---|---|---|---|
Theoretische Informatik
(Vorlesung)
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. |
Portfolio mit Abschlussprüfung | unbenotet | 60h |
2
![]() |
Theoretische Informatik
(Vorlesung)
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. |
Portfolio mit Abschlussprüfung | 1 | 60h |
2
![]() |
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:
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 rechtes Menü).
- 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.
Modulelemente
Lehrangebot im eKVV
Modullisten zeigen
Informatik / Bachelor of Science: Kernfach (fw) // Bioinformatik
Informatik / Bachelor of Science: Kernfach (fw) // Technische Informatik
Informatik / Bachelor: Nebenfach (fw) // Praktische Informatik
Informatik / Bachelor: Nebenfach (fw) // Technische Informatik
Informatik / Bachelor: Kleines Nebenfach (fw) // Praktische Informatik
Informatik / Bachelor: Kleines Nebenfach (fw) // Softwareentwicklung
Informatik / Bachelor: Kleines Nebenfach (fw) // Technische Informatik