From 3637520cf77f62829532d6fe96dfdbec6bbda27a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 8 Oct 2017 06:24:21 +0200
Subject: [PATCH] adding fora
---
courses/KRMT.md | 5 +++++
courses/ai1.md | 5 +++++
courses/ai2.md | 5 +++++
courses/lbs.md | 5 +++++
courses/wuv.md | 23 +++++++++++++++++++++--
5 files changed, 41 insertions(+), 2 deletions(-)
diff --git a/courses/KRMT.md b/courses/KRMT.md
index a804975..75797a2 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -22,3 +22,8 @@ Materialien:
* [Tutorial zur Formalisierung](https://gl.mathhub.info/Teaching/KRMT/blob/master/source/tutorial/mmt-math-tutorial.pdf)
* [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
+Diskussionen finden auf dem
+[FSI Forum KRMT](https://fsi.cs.fau.de/forum/150-Logikbasierte-Wissensrepraesentation) statt. Dies ist
+eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
+schnell auf Fragen zu antworten. Also das Forum abonnieren!
+
diff --git a/courses/ai1.md b/courses/ai1.md
index e9c527e..dcca7b0 100644
--- a/courses/ai1.md
+++ b/courses/ai1.md
@@ -28,3 +28,8 @@ von Stuart Russell und Peter Norvig. Wir verwenden die dritte Ausgabe.
Die Kursmaterialien (z.B. [Course Notes](http://kwarc.info/teaching/AI/notes.pdf) oder
[Aufgaben](http://kwarc.info/teaching/AI/assignments.pdf), aber auch alte Klausuren)
finden sich in [hier](http://kwarc.info/teaching/AI/).
+
+Diskussionen finden auf dem
+[FSI Forum KI-I](https://fsi.cs.fau.de/forum/144-Kuenstliche-Intelligenz) statt. Dies ist
+eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
+schnell auf Fragen zu antworten. Also das Forum abonnieren!
diff --git a/courses/ai2.md b/courses/ai2.md
index c8d10e4..5d3dd5e 100644
--- a/courses/ai2.md
+++ b/courses/ai2.md
@@ -28,3 +28,8 @@ von Stuart Russell und Peter Norvig. Wir verwenden die dritte Ausgabe.
Die Kursmaterialien (z.B. [Course Notes](http://kwarc.info/teaching/AI/notes.pdf) oder
[Aufgaben](http://kwarc.info/teaching/AI/assignments.pdf), aber auch alte Klausuren)
finden sich in [hier](http://kwarc.info/teaching/AI/).
+
+Diskussionen finden auf dem
+[FSI Forum KI-I](https://fsi.cs.fau.de/forum/149-Kuenstliche-Intelligenz-II) statt. Dies ist
+eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
+schnell auf Fragen zu antworten. Also das Forum abonnieren!
diff --git a/courses/lbs.md b/courses/lbs.md
index 3656fc4..0e6001c 100644
--- a/courses/lbs.md
+++ b/courses/lbs.md
@@ -23,3 +23,8 @@ Die Vorlesung
["Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen"](/courses/KRMT/)
aus dem vorhergehenden Sommer-Semester ist sehr hilfreich für den praktischen Teil, aber
keine notwendige Voraussetzung.
+
+Diskussionen finden auf dem
+[FSI Forum LBS](https://fsi.cs.fau.de/forum/?????) statt. Dies ist
+eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
+schnell auf Fragen zu antworten. Also das Forum abonnieren!
diff --git a/courses/wuv.md b/courses/wuv.md
index a150a1b..3a43a7f 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -9,6 +9,25 @@ semesters:
- SS17
- WS17/18
---
+Dieses Seminar behandelt ausgewählte Themen aus dem Gebiet der Wissensrepräsentation und
+-Verarbeitung, mit einem Fokus auf mathematisches Wissen.
-This seminar covers topics from knowledge representation and knowledge processing, mostly
-with a focus on mathematical knowledge. Topics are agreed up with the instructor.
+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!
--
GitLab