Seminar Logik in der Informatik

Seminar

• Seminar Logik in der Informatik - Logik  im SoSe 2014 (Aktuelles Semester)
• Seminar Logik in der Informatik im SoSe 2012
• Seminar Logik in der Informatik im SoSe 2010

Einführung

Im Seminar werden aktuelle Themen aus dem Bereich Logik in der Informatik behandelt.
Lernziele: Kenntnis grundlegender Methoden und Verfahren, Einübung von Literatursuche und -analyse sowie Präsentationstechniken. Theoretische Kompetenz; autodidaktische Kompetenz.

Kürzel laut Studienordnung: B-LI-BS, M-LI-S, Bioinf Modul 21.  Creditpoints: 5.  SWS: 2 S.