D120.de/forum

Die Noten sind in TUCaN veröffentlicht. Die Klausureinsicht wird am 12. Mai 2014 von 13:30 bis 15:30 in S2|02 E202 stattfinden. Mitzubrigen sind: Personalausweis (oder Reisepass) und Studentenausweis. Zeitplan für die Klausureinsicht: A bis L - 13:30-14:30 M bis Z - 14:30-15:30 Informationen zur Kla...

Hi,

the results are available in TUCaN.

Best wishes,
Sarah

Information concerning the midterm exam are available on our website.

Yes, I aggree with you that your choice of a valuation does not provide a counterexample to the satisfaction of the formula. Furthermore, I also agree with you that the formula is not as restrictive as the informal description. You can find an alternative formal definition in the solution to Exercis...

Hi, a protection state in the HRU model is a triple (S,O,A) where S \subseteq SUBJECTS , O \subseteq OBJECTS and S \subseteq O , and A \subseteq S \times O \times ATTRIBS . From the last requirement, an answer to your question can be derived. If it is not clear yet, please ask me in the exercise ses...

Hallo Corni, das erste Übungsblatt ist schon seit letzer Woche online, die Musterlösung für die erste Übung und das zweite Übungsblatt gibts es auch schon online. Scroll mal auf unsere internen Seite etwas nach unten ;-). Falls das nicht hilft, kontaktiere mich bitte nochmal! Viele Grüße und viel Sp...

Hallo,

dazu gibt es keine offiziellen Aussagen von unserer Seite.

Viele Grüße,
Sarah

danny hat geschrieben:Wir haben bei Sarah Ereth angefragt und erfahren, dass es von offizieller Seite keine Aussage dazu gibt, ob uns die Kalkülregeln in der Klausur zur Verfügung gestellt werden oder nicht.

Ganz genau, dazu gibt es keine offiziellen Aussagen von unserer Seite.

Hallo,

die Raumeinteilung für die Klausur findet Ihr jetzt auf unserer Webseite:
http://www.mais.informatik.tu-darmstadt ... -ws11.html

Viele Grüße und viel Erfolg,
Sarah