Dauer:

Angebotsturnus:

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

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:

• Parallelverarbeitung (CS3051-KP04, CS3051)

Setzt voraus:

• Algorithmen und Datenstrukturen (CS1001-KP08, CS1001)
• Einführung in die Programmierung (CS1000-KP08, CS1000SJ14-MML/MI, CS1000SJ14-MIW)
• Einführung in die Programmierung (CS1000-KP10, CS1000SJ14)

Modulverantwortlicher:

• Prof. Dr. Rüdiger Reischuk

Lehrende:

• Institut für Theoretische Informatik

• Prof. Dr. Rüdiger Reischuk
• Prof. Dr. rer. nat. Till Tantau
• Prof. Dr. Maciej Liskiewicz

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: