Vertiefungsrichtung Theoretische Informatik (Prüfungsordnungsmodul)0.0 ECTS (englische Bezeichnung: Focus Module: Theoretical Computer Science)
Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine
Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen,
so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend
für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die
konkreten Modulbeschreibungen mit Angaben zu den
Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten
UnivIS-Modulen zu finden.
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Theoretische Informatik)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Theoretische Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik)
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik)
- Mathematik (Bachelor of Science)
(Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik)
Studien-/Prüfungsleistungen:
- Theoretische Informatik (5 ECTS) (Prüfungsnummer: 37141)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (5 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 5.0 Leistungspunkte
- Theoretische Informatik (7,5 ECTS) (Prüfungsnummer: 37142)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (7.5 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 7.5 Leistungspunkte
- Theoretische Informatik (10 ECTS) (Prüfungsnummer: 37143)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (10 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 10.0 Leistungspunkte
- Theoretische Informatik (2,5 ECTS) (Prüfungsnummer: 37144)
(englische Bezeichnung: Graded Credit: Theoretical Computer Science (7.5 ECTS))
(Vorgaberahmen für konkrete Prüfungen von UnivIS-Modulen)
- Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 2.5 Leistungspunkte
UnivIS-Module:UnivIS-Module im aktuellen Semester (WS 2018/2019):- Algebra des Programmierens (7.5 ECTS, Schröder, L.)
- Algebraische und Logische Aspekte der Automatentheorie (7.5 ECTS, Urbat, H.)
- Effiziente kombinatorische Algorithmen (7.5 ECTS, Wanka, R.)
- Einführung in die algorithmische Kryptographie (7.5 ECTS, Schröder, D.)
- Formale Methoden der Softwareentwicklung (7.5 ECTS, Litak, T.)
- Kommunikation und parallele Prozesse (7.5 ECTS, Schröder, L.)
UnivIS-Module im kommenden Semester (SS 2019):- Approximationsalgorithmen (7.5 ECTS, Wanka, R.)
- Monad-Based Programming (7.5 ECTS, Goncharov, S.)
- Organic Computing (5 ECTS, Wanka, R.)
- Praktische Semantik von Programmiersprachen (7.5 ECTS, Litak, T.)
- Randomisierte Algorithmen (7.5 ECTS, Wanka, R.)
UnivIS-Module im vergangenen Semester (SS 2018):- Approximationsalgorithmen (7.5 ECTS, Wanka, R.)
- Modallogik (7.5 ECTS, Hausmann, D.)
- Ontologien im Semantic Web (7.5 ECTS, Schröder, L.)
- Organic Computing (5 ECTS, Wanka, R.)
- Praktische Semantik von Programmiersprachen (7.5 ECTS, Litak, T.)
- Randomisierte Algorithmen (7.5 ECTS, Wanka, R.)
|