Modulcode:	Inf-Sem-Theorie
Englische Bezeichnung:	Theoretical Computer Science
Modulverantwortliche(r):	Prof. Dr. Thomas Wilke
Turnus:	unregelmäßig (SS12)
Präsenzzeiten:	2S
ECTS:	4
Workload:	24 Std. Präsenzseminar, 96 Std. Selbststudium
Dauer:	ein Semester
Modulkategorien:	Sem (BSc Inf)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

Seminar zur theoretischen Informatik für Bachelorstudentinnen und -studenten.

Lernziele:

Der/die Student/in

• erarbeitet sich einfache Primärliteratur in der theoretischen Informatik unter Einbeziehung geeigneter Sekundärliteratur,
• präsentiert einfache Sachverhalte aus Primärliteratur der theoretischen Informatik anderen Informatikstudent/inn/en,
• bereitet erarbeitete Primärliteratur schriftlich in fachgerechter Weise auf,
• diskutiert in der Gruppe über einfache Sachverhalte der theoretischen Informatik.

Lehrinhalte:

Die ausgewählte Primarliteratur wird der theoretischen Informatik entnommen. Es bieten sich zum Beispiel Arbeiten über die Entstehung der Theorie formaler Sprachen an, wie etwa die Arbeiten von Kleene oder von Chomsky.

Weitere Voraussetzungen:

Die Module "Mathematik A", "Logik in der Informatik" und idealerweise "Theoretische Grundlagen der Informatik".

Prüfungsleistung:

• Ausarbeitung
• Vortrag
• Anwesenheit und aktive Teilnahme bei acht Vorträgen
• Kommentierung einer Seminarausarbeitung
• Bewertung und Zusammenfassung von vier Vorträgen

Lehr- und Lernmethoden:

Die Student/inn/en werden in der Regel individuell angeleitet.

Verwendbarkeit:

Literatur:

Verweise:

Kommentar: