Seminar: Automatische Terminierungsanalyse

[aRo]

Hallo!

Ich wurde heute in das Seminar "Automatische Terminierungsanalyse" eingeteilt, welches ich leider nicht gewählt habe.
Nun stellt sich mir die Frage, ob das jemand von euch schon mal gemacht hat und mit Infos aus erster Hand dienen kann?

Habe halt von den Voraussetzungsvorlesungen keine gehört, ist mir ein bisschen unheimlich das ganze...

Danke!

[HE]

Das ist im Prinzip nicht weiter schwer. Die echten theoretischen Teile sind nicht besonders schwer, wenn man halbwegs mit MaLo und/oder linearer Algebra kann, und sonst geht es viel darum, sich ins Thema einzulesen und dann was verständliches zu präsentieren.

[padde]

Hab das im Bachelor gemacht und war mit der Betreuung am Ende sehr glücklich.
Mein Thema selbst fand ich im Nachhinein eher nicht so spannend, aber das kann man ja auch nicht immer vorher wissen.
Große Vorkenntnisse hatte ich auch nicht (hatte vorher Logikprogrammierung gehört). Die benötigten Grundlagen in Termersetzungssystemen hat man sich aber schnell angelesen. (Von Vorteil sind da auf jeden Fall die Skripte von Prof. Giesl.)

Ich würd sagen, du hättest es schlechter treffen können.

[C-Otto]