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](http://kwarc.info) 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](https://fsi.cs.fau.de/forum/?????)
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!