D120.de/forum

nach Wahl

http://www.kom.tu-darmstadt.de/en/news- ... 0e4e252eb9

...die sind wohl alle in Essen

Ist das ne Fangfrage?

Gibts inzwischen auch irgendwo ne Raumeinteilung ?

Im Tucan steht nur S311/08, S311/0012, S311/006 und auf der KN1 Seite / Wiki hab ich nix gesehen...

Hi,
in wie weit kam VeriFun in der letzten Klausur dran / kommt dran ?

- musste man Funktionen schreiben?
- musste man Lemmas finden/schreiben?
- etc ?

Danke,
mfg

huhu,

in der lösung steht
fb = F + fa

aber füsste es nicht fb = F - fa sein ? denn F ist doch fa + fb !?

huhu,
da du die Übungen bearbeitest hast du sicher aus das PW für den Zugang auf der HP

pm mir bitte mal das pw.

danke

Kann mir bitte bitte mal jemand das passwort per pm schicken, ich würd gern an der übung teilnehmen ^^

dito

ich bräuchte die Daten bitte auch...

mir bitte auch besagte pm schicken

wie berechnet man denn jetzt richtg die b ?

Wie teste ich denn genau mein never-claim?

Ich habe mit LTL den never claim erstellt, und dann die verification ausgeführt, im report steht jetzt 0 Errors etc, aber woran erkenn ich ob mein never stimmt oder nicht etc !?

weiß jemand ob man sich auch per e-mail anmelden kann o.ä.? ich habe nämlich keine zeit die GDI1 vorlesungen zu besuchen ...

ich wollte nochmal nachfragen, ob das Projekt nur verbindlich ist für die Bachelorstudenten im ersten Fachsemester, oder für alle Bachelorstudenten die den GDI 1 Schein wollen?