Hat jmd da mitgemacht?
Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Verifikation digitaler Systeme
Hallo allerseits,
ich wollte jetzt im SS diese VL machen. Hat schon jmd da mitgemacht? Lohnt es sich da hinzugehen?
VG
semmy
zu empfehlen
Hi,
ich habe es besucht und mir hats gefallen. Wir waren gerade mal 2 Leute im Kurs, deshalb wurde die Vorlesung am Lehrstuhl in etwas entspannterer Atmosphäre abgehalten :-). Die Vorlesung ist sehr theoretisch, du beschäftigst dich viel mit Zustandsautomaten, BDDs, Aussagenlogik u. ä. Wenn dir das liegt, dann machs, wenn nicht, dann isses nix ;-). Ich fand vor allem interessant, diese (theoretischen) Konzepte einmal in einer praktischen Anwendung zu sehen.