Projektpraktikum

[Venefica]

Hallo ihr!

Ich wollte mal nachfragen wo ihr eure Projektpraktika macht und was ihr da so zu tun habt? :)

Danke :thumb:

[Cassandra]

also ich mach mein praktikum beim chris fermüller am logic-institut, siehe http://www.logic.at/lvas/praktika.html. die meisten sachen von ihm (für thinf 1) sind nicht so aufwendig, als bakkalaureatsarbeit verlangt er auch nur doku für die enduser.
ich mach mit einem freund zusammen sequentialkalkül und tableaux.