Algebraische Prozeßkalküle (AlgProCalc)

Typ: Integrierte Veranstaltung
SWS: 4
Credit Points: k.A.
Homepage: mtv.tu-berlin.de

Diskussionsforum (5 Abonnenten)

Zur Bewertun im SoSe 09 (0 Antwort)

Geschrieben von Prof. Dr.-Ing. Uwe Nestmann forum

“Leider gibt es für diese Lehrveranstaltung kein Skript. Es gibt nur eine Formelsammlung, die jede 2 Wochen überarbeitet wird.”

Genau. Dies ist Teil des Lernziels. Gezielter Umgang mit einer Formelsammlung als Basis für formale Beweise.

“Man kann das Buch lesen, aber es deckt nur die ersten 2-3 Vorlesungtermine ab.”

Na, ich denke eher, es deckt schon weitgehend den Stoff der 5-6 Wochen ab.

“Prof. Nestmann lässt sich nur einmal blicken,”

Natürlich. Ich war im Forschungssemester, also offiziell frei von Lehrverpflichtung, und habe die Veranstaltung dennoch anbieten wollen. Das hatte ich auch so erklärt.

“aber sein Assistent Sven Schneider ist sehr kompetent.”

Dem stimme ich zu!

Neuen Beitrag erstellen

Um einen Beitrag im Diskussionsforum zu verfassen, musst du eingeloggt sein. Jetzt einloggen.