Modul CS2000-KP08, CS2000
Theoretische Informatik (TI)
Dauer
1 Semester
Angebotsturnus
Jedes Wintersemester
Leistungspunkte
8
Studiengang, Fachgebiet und Fachsemester:
- Bachelor Medieninformatik 2020, Pflicht, Informatik
- Bachelor Informatik 2019, Pflicht, Grundlagen der Informatik
- Bachelor Robotik und Autonome Systeme 2020 , Wahlpflicht, Informatik
- Bachelor Medizinische Informatik 2019, Pflicht, Informatik
- Bachelor Informatik 2016, Pflicht, Grundlagen der Informatik
- Bachelor Robotik und Autonome Systeme 2016, Wahlpflicht, Informatik
- Bachelor IT-Sicherheit 2016, Pflicht, Informatik
- Bachelor Medizinische Ingenieurwissenschaft 2011, Wahlpflicht, Informatik
- Bachelor Medizinische Informatik 2014, Pflicht, Informatik
- Bachelor Informatik 2014, Pflicht, Grundlagen der Informatik
- Bachelor Medieninformatik 2014, Pflicht, Informatik
- Bachelor Medizinische Informatik 2011, Pflicht, Informatik
- Bachelor Informatik 2012, Pflicht, Grundlagen der Informatik
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:
Modulverantwortliche:
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 Änderungen:
01.02.2022