<?xml version="1.0" encoding="ISO-8859-1" standalone="yes" ?>
<document>
<title>Theoretische Informatik</title>
<cid>KI710</cid>
<sapsubmodule>P222-0071</sapsubmodule>
<bkey>kim</bkey>
<ctypes>
<hours>4</hours>
<type>V</type>
</ctypes>
<cp>5</cp>
<semester>1</semester>
<mandatory>ja</mandatory>
<language>Deutsch</language>
<exam>Klausur 180 min.</exam>
<curriculum>
<curriculum_entry>
<cid>KI710</cid>
<branch>Kommunikationsinformatik</branch>
<semester>1</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
<curriculum_entry>
<cid>PIM-TI</cid>
<branch>Praktische Informatik</branch>
<semester>1</semester>
<mandatory_tag>Pflichtfach</mandatory_tag>
</curriculum_entry>
</curriculum>
<workload>
Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 60 Veranstaltungsstunden (= 45 Zeitstunden). Der Gesamtaufwand des Moduls beträgt bei 5 Creditpoints 150 Stunden (30 Stunden/ECTS Punkt). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 105 Stunden zur Verfügung.
</workload>
<prerequisites>
</prerequisites>
<prerequisitesfor>
</prerequisitesfor>
<convenor>Prof. Dr. Thomas Kretschmer</convenor>
<convenor-person-key>tk</convenor-person-key>
<lecturers>
<lecturer>Prof. Dr. Thomas Kretschmer</lecturer>
<lecturer-person-key>tk</lecturer-person-key>
</lecturers>
<objectives>Die Studierenden erlernen die klassischen Gebiete der theoretischen Informatik: &quot;Automaten und Sprachen&quot;, &quot;Berechenbarkeitstheorie&quot; und &quot;Komplexitätstheorie&quot;. 

Die Studierenden verstehen die grundlegenden mathematischen Eigenschaften von Hardware und Software. Sie sind in der Lage, die theoretischen Konzepte zu erkennen und anzuwenden, mit denen praktische Probleme gelöst werden. Dadurch werden konzeptuell saubere Lösungen ermöglicht. Die Studierenden lernen andererseits die prinzipiellen Beschränkungen kennen, denen gewisse Problemstellungen unterliegen.

Die Studierenden kennen die Einteilung von Problemen in Komplexitätsklassen bezüglich Laufzeit und Speicherplatz.
</objectives>
<content>1   Automaten und Sprachen
       * Reguläre Sprachen
       * Kontextfreie Sprachen
2   Berechenbarkeitstheorie
       * Church-Turing-These
       * Entscheidbarkeit
       * Reduzierbarkeit
       * Definition von “Information”
3   Komplexitätstheorie
       * Zeitkomplexität mit NP-Vollständigkeit
       * Platzkomplexität

</content>
<literature>HOPCROFT John E.; ULLMANN Jeffrey D.; MOTWANI Rajeev: Einfüh-rung in die Automatentheorie - Formale Sprachen und Komplexitäts-theorie, Pearson Studium, München, 2. Auflage, 2002.
SIPSER Michael: Introduction to the theory of computation, 
Course Technology, Boston 1997.
</literature>
<offered>
<semshort>WS 2016/17</semshort>
<semshort>WS 2010/11</semshort>
<semshort>WS 2009/10</semshort>
<semshort>WS 2008/09</semshort>
<semshort>WS 2007/08</semshort>
<semshort>WS 2006/07</semshort>
<semshort>WS 2005/06</semshort>
</offered>
<moduldb-query>Mon Jul 13 05:58:11 CEST 2026, CKEY=thinfo, BKEY=kim, CID=[?], LANGUAGE=de, DATE=13.07.2026</moduldb-query>
</document>
