D120.de/forum

Danke für die Info auch wenn das ganze arg spät kommt. Kann man dieses Jahr von einer besser als in vorsemestern geplanten und durchgeführten Einsicht ausgehen?
LG

Sehe ich richtig, dass es bis heute immer noch nur 2/14 Lösungen zur Theorie gibt?

Fortschrittsupdate/voraussichtliche Restdauer?

Schließe mich der Frage an.

Mittlerweile jemand eine Info dazu?

Ist mittlerweile bekannt, ob bereits fertig korrigiert oder bis wann die Klausuren korrigiert sein werden? Werden die Ergebnisse irgendwo ausgehängt?

Gruß
5eppel

Bitte auch um pn

Hallo,

wir sind uns nicht sicher, ob wir die Umformungen aus dem Foliensatz FirstOrderLogic_handout Seite 36 für den Beweis in Aufgabe 1 nutzen dürfen?

Vielen Dank

Danke Nathan.
In der Tat zeigten sich unsere Receive-Statements nach weiterer Recherche als fehlerhaft.

Gruß
5eppel

Hey, wir haben ein Problem mit folgendem Code aus der Aufgabenstellung (Server): /* encrypt and send message to initiator */ if :: from == alice -> internet ! from(server, partner, message_content, key_AS) :: from == intruder -> internet ! from(server, partner, message_content, key_IS) fi; /* encryp...

Hey ne kurze frage Zwecks Stundenplanplanung. Im Tucan wird eine Kleingruppe zur Auswahl angezeigt: Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt: Einführung in Data and Knowledge Engineering - Gr. 1 Kleingruppe anzeigen Prof. Ph. D. Alejandro Buchmann; Prof. Dr.-techn. Johannes Für...

Wo sind denn die schwarzen Bretter von KE und DVS?

"Die Korrektur der Klausur ist abgeschlossen. Die Notengrenzen müssen aber noch festgesetzt werden. Die Noten werden dann bei den Fachgebieten KE und DVS ausgehängt. Dazu wird es dann nochmal eine extra Meldung geben. Die Klausureinsicht findet am 2.11. von 10-11 Uhr in A126 statt." Siehe http://sip...

Verifikation

Wie schauts denn aus? Wann kriegt man mehr Infos?