Dozent
Lehrender
| Raum | Sprechstunde | |||
|---|---|---|---|---|
| PS | Georg Moser | 1N05 | Mittwoch | 12:00 – 14:00 |
Ort und Zeit
| PS | Montag | 08:00 – 10:00 | RR 21 | Georg Moser | |
Beginn des Proseminars am 5. März.
Bitte registrieren Sie sich online für das Proseminar (bis spätestens 29. Februar, 23:59 Uhr).
Mini-Seminararbeit
Im Laufe des Proseminars werden Themen aus den Bereichen Logik, theoretischer Informatik und künstliche Intelligenz vergeben, die von den Studierenden selbständig ausgearbeitet werden sollen.
Diese Ausarbeitung (maximal 4 Seiten) soll mit LaTeX erstellt werden und die folgenden Kriterien werden zur Evaluierung der Seminararbeit herangezogen:
- Inhalt und Literaturrechere
- Form
- Zitiertechnik
- LaTeX Sourcecode
Abgabeterm: 4. Juni
Reviews
Darüberhinaus wird jeder Studierende drei Mini-Seminarbeiten von KollegInnen erhalten, die zu bewerten sind. Diese Bewertungen folgen in der Form den üblichen reviews von Konferenzbeiträgen. Die folgende Kriterien werden zur Evaluierung der reviews herangezogen:
- Ausführlichkeit
- Ausgewogenheit
Abgabeterm: 18. Juni