Proseminar Theoretische Informatik SS 2014

Do 09:15 - 10:45
LG1A/121
Prof. Dr. K. Meer
M. Baartse, M.Sc.
Naif, M.Sc
Proseminar Theoretische Informatik,
Vorbesprechung Do 17.04.2014 9:15 in LG1A/121

Mitteilungen

  • Das Proseminar findet statt Donnerstag von 9:15-11:45 im Raum LG1A/121.
  • Vorbesprechung: Do  17.04.2014 9:15 in LG1A/121
  • Eine zeitliche Verschiebung ist ebenfalls möglich.
  • Interessenten können – und sollen – sich vorher per Mail melden, mit Angabe der schon im theoretischen Grundlagenbereich besuchten Module sowie des Interessensgebietes.
  • Das Proseminar wendet sich an Studierende, die sich im zweiten (oder einem höheren) Fachsemester befinden. Das Modul 12215 Theoretische Informatik sollte schon besucht worden sein.
  • Modulanmeldung: elektronisch (Online-Portal) oder beim Studiengangsbearbeiter (Dies ist die verbindliche Anmeldung, ohne diese Anmeldung gibt es keine Kreditpunkte).
  • Die Anmeldung an LEHVIS (für organisatorische Zwecke) ist ab Mitte September möglich
  • MERKBLATT für die Anfertigung von Vortrag und Ausarbeitung. Bitte sorgfältig lesen!

Ablauf des Proseminars

Die genauen Themen werden noch festgeletgt.

17.04.14Vorbesprechung,  Anmeldung in  LEHVIS und Online-Portal
22.04.14Literaturausgabe, in HG 2.16
08.05.14Alle: Definitionen, zentrale Aussagen
jeweils DoAlle: Definitionen, zentrale Aussagen
17.07.14Vorträge   
15.09.2014Abgabe der Ausarbeitungen (besser früher. d.h. kurz nach dem Vortrag)

Die Dauer der Vorträge soll jeweils etwa 30 Minuten betragen.
Bei allen Terminen herrscht Anwesenheitspflicht und Beteiligungsgebot!

Über das Proseminar

Neben den allgemeinen Zielen eines Proseminar (siehe Modulbeschreibung) beschäftigt sich dieses speziell mit Themen aus der theoretischen Informatik: fundamentale Algorithmen, formale Sprachen,...

Themen können nach Wünschen und Vorkenntnissen der Interessenten vergeben werden.

Thema im SS 2014

  • Aussagenlogik