wuv.md

layout: course

title: Seminar Wissensrepräsentation und -verarbeitung
instructors:
    - mkohlhase

semesters:
    - SS17
    - WS17/18

Dieses Seminar behandelt ausgewählte Themen aus dem Gebiet der Wissensrepräsentation und -Verarbeitung, mit einem Fokus auf mathematisches Wissen.

Die Vortragsthemen sind sehr unterschiedlich im Schwierigkeitsgrad, sie reichen von Einführungsthemen für ambitionierte Bachelor-Studenten bis zur Forschungsfront für Doktoranden. Sie spiegeln recht gut die Forschungsinteressen der KWARC Gruppe wieder. Daher ist dieses Seminar sehr gut geeignet um in die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). Themen werden mit dem Dozenten ausgemacht.

Hier ist eine Auswahl für das WS 17/18:

Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin
-----|-------|-----|-------|---------
Weak Type Theory |
[1](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf) |
relativ einfach, aber Logiklastig| offen |

Diskussionen und finden auf dem FSI Forum WuV statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum abonnieren!