D120.de/forum

Einfach die Umfrage unter nachfolgendem Link ausfüllen.
https://www.soscisurvey.de/classifier/
Unter allen Teilnehmern werden Amazon Gutscheine verlost.
Alle weiteren Details sind in der Beschreibung des Fragebogens zu finden.

Liebe D120 Forum-User, zur Evaluierung meiner Masterthesis bin ich an Persönlichkeitsmerkmalen von D120 Nutzern interessiert. Ziel meiner Arbeit ist die Entwicklung einer automatischen Klassifizierung von Persönlichkeitsmerkmalen einer Person anhand ihrer Forenbeiträge. Damit lassen sich beispielswe...

Kommen heute die Ergebnisse?

Mmh joa, irgendwie hast du Recht. Wäre toll, wenn es dazu eine offizielle Rückmeldung geben würde.

Ich denke, dass es schon wichtig ist, dass in die Beschreibung mit Aufzunehmen, da bei Arrays die Referenz an eine Methode übergeben wird.
(CALL-BY-REFERENCE)

In der Lösungsdatei steht ja auch folgender Satz:

It is possible that process p does not read at all from the channel.
This happens in any run where the "p"'s loop always chooses the first alternative.

Ich denke damit sollte klar sein, warum du deine LTL-Formel nicht beweisen kannst?!

himbaer hat geschrieben:Werden eventuell noch Vorbereitungskurse oder Sprechstunden vor der Klausur angeboten?

Auch danke für die Info dazu.

Habe aber noch eine Frage: Müssen wir in der Klausur in der Lage sein, eine Key-Datei zu schreiben, inder ein Dynamisch Logisches Problem beschrieben wird?

Werden eventuell noch Vorbereitungskurse oder Sprechstunden vor der Klausur angeboten?

Werden uns die Regeln des Sequenzenkalkül in der Klausur zur Verfügung gestellt?

Habe mal eine Frage zu testexam_1 Aufgabe 2b): In der Aufgabenstellung steht, es soll ein "TRAIL" angegeben werden, der ein Deadlock aufzeigt. Müssen wir hier wirklich wissen/niederschreiben wie Spin uns den Trail ausgegeben hätte oder langt es zu schreiben, welche Codezeilen in welcher Reihenfolge ...

Gibt es eventuell auch die Klausur vom letzten Wintersemester zum üben? (WS12/13)

Hallo habe gerade gesehen, dass die Klausurergebnisse schon in TUCAN eingetragen sind.
Ist der Bonus da schon eingerechnet oder nicht?

Viele Grüße

Ahhhh..... PERFEKT.
DANKE. Mit diesem Teil der Folien habe ich es nun endlich hinbekommen.

Sorry aber das hat mir irgendwie noch gar nicht geholfen. Meine Formel sieht jetzt zwar etwas lesbarer aus, aber beweisen kann ich damit trotzdem noch nichts. Ich frage mich allerdings immernoch wieso? Mein Formel sieht nun so aus: @ decreasing (i%2==1)? line.length-i:-(line.length-i); Für ein Array...

Ich brauchte das Potenzieren um wechselnde Vorzeichen zu produzieren. Das habe ich nun aber folgendermaßen, ohne Potenzieren hinbekommen: (1 - (2 *((i+1)%2))) * (line.length - i); Ich denke meine "Funktion" ist streng monoton fallend. Und außerdem kann sie nicht unendlich fallen, da -1 * Vectorlänge...