Dauer:
1 Semester | Angebotsturnus:
Jedes Wintersemester | Leistungspunkte:
8 |
Studiengang, Fachgebiet und Fachsemester: - Bachelor Medieninformatik 2020 (Pflicht), Informatik, 3. Fachsemester
- Bachelor Informatik 2019 (Pflicht), Grundlagen der Informatik, 3. Fachsemester
- Bachelor Robotik und Autonome Systeme 2020 (Wahlpflicht), Informatik, 5. oder 6. Fachsemester
- Bachelor Medizinische Informatik 2019 (Pflicht), Informatik, 3. Fachsemester
- Bachelor Informatik 2016 (Pflicht), Grundlagen der Informatik, 3. Fachsemester
- Bachelor Robotik und Autonome Systeme 2016 (Wahlpflicht), Informatik, 5. oder 6. Fachsemester
- Bachelor IT-Sicherheit 2016 (Pflicht), Informatik, 3. Fachsemester
- Bachelor Medizinische Ingenieurwissenschaft 2011 (Wahlpflicht), Informatik, 5. Fachsemester
- Bachelor Medizinische Informatik 2014 (Pflicht), Informatik, 3. Fachsemester
- Bachelor Informatik 2014 (Pflicht), Grundlagen der Informatik, 3. Fachsemester
- Bachelor Medieninformatik 2014 (Pflicht), Informatik, 3. Fachsemester
- Bachelor Medizinische Informatik 2011 (Pflicht), Informatik, 3. Fachsemester
- Bachelor Informatik 2012 (Pflicht), Grundlagen der Informatik, 3. Fachsemester
|
Lehrveranstaltungen: - CS2000-Ü: Theoretische Informatik (Übung, 2 SWS)
- CS2000-V: Theoretische Informatik (Vorlesung, 4 SWS)
| Workload: - 90 Stunden Präsenzstudium
- 135 Stunden Selbststudium und Aufgabenbearbeitung
- 15 Stunden Prüfungsvorbereitung
| |
Lehrinhalte: | - Formalisierung von Problemen mittels Sprachen
- formale Grammatiken
- reguläre Sprachen, endliche Automaten
- kontextfreie Sprachen, Kellerautomaten
- sequentielle Berechnungsmodelle: Turing-Maschinen, Registermaschinen
- sequentielle Komplexitätsklassen
- Simulation, Reduktion, Vollständigkeit
- Erfüllbarkeitsproblem, NP-Vollständigkeit
- (Un-)Entscheidbarkeit und Aufzählbarkeit
- Halteproblem und Church-Turing These
| |
Qualifikationsziele/Kompetenzen: - Studierenden können die theoretischen Grundlagen der Syntax und der operationalen Semantik von Programmiersprachen selbst darstellen
- Sie können Formalisierungen ineinander umwandeln, indem sie Sätze der Theoretischen Informatik anwenden
- Sie können algorithmische Probleme nach ihrer Komplexität klassifizieren
- Sie können algorithmische Probleme modellieren und mit geeigneten Werkzeugen lösen
- Sie können die Möglichkeiten und Grenzen der Informatik beurteilen
|
Vergabe von Leistungspunkten und Benotung durch: - Klausur sowie Studienleistungen
|
Voraussetzung für: |
Setzt voraus: |
Modulverantwortlicher: Lehrende: |
Literatur: - J. Hopcroft, R. Motwani, J. Ullman: Introduction to Automata Theory, Languages and Computation - Addison Wesley, 2001
|
Sprache: - Wird nur auf Deutsch angeboten
|
Bemerkungen:Zulassungsvoraussetzungen zur Belegung des Moduls:
- keine (die Kompetenzen der unter Setzt voraus angegebenen Module werden für dieses Modul benötigt, sind aber keine formale Voraussetzung)
Zulassungsvoraussetzungen zur Teilnahme an Modul-Prüfung(en):
- Erfolgreiche Bearbeitung von Übungs- und Projektaufgaben gemäß Vorgabe am Semesteranfang
Modulprüfung:
- CS2000-L1, Theoretische Informatik, Klausur, 90min, 100% der Modulnote |
Letzte Änderung: 1.2.2022 |
für die Ukraine