Probeklausuren zur Vorbereitung auf die Modulprüfung Online

[Nathan Wasser]

Auf der Webseite gibt es Probeklausuren, die ihr als weiteres Mittel zur Vorbereitung auf die Modulprüfung nutzen könnt und solltet.

[niwo]

Hallo,

gibt es sonst noch Hinweise zur Klausur?
Sind irgendwelche Hilfsmittel zugelassen?

Viele Grüße

[Nathan Wasser]

Es sind keine Hilfsmittel zugelassen.

[jumaa]

hallo
ist die Modulprüfung nur auf Englisch oder gibt es die Aufgabestellung auch auf Deutsch ??
Viele Grüße

[Nathan Wasser]

hallo
ist die Modulprüfung nur auf Englisch oder gibt es die Aufgabestellung auch auf Deutsch ??
Viele Grüße

Die Aufgabenstellung wird auf deutsch sein.

[errt]

Es sind keine Hilfsmittel zugelassen.

Wird denn etwas gestellt werden, z.B. Syntaxblätter für Promela und JML und die Regeln des FOL Kalküls?

[Nathan Wasser]

Es werden keine Hilfsmittel gestellt werden. Aus diesem Grund werden aber auch keine Punkte abgezogen bei kleinen Syntaxfehlern.

[verklixt1]

Ich möchte nochmals die Frage zu den Hilfmitteln wiederholen, da es schonmal Verwirrung aufgrund einer falschen Aussage bei den Labs gab.

Sollte die Aussage offiziell und nicht irrtümlich gestellt sein, würde ich gerne wissen worin der lerneffekt besteht oder es dem Verständnis des Stoffes weiterhilft, Syntax oder Regeln des FOL Kalküls auswendig zu wissen?

[Nathan Wasser]

Es sind eine handvoll sinnvoller Regeln. Zum Beispiel: Wenn ich A und B beweisen will muss ich A beweisen und ausserdem noch B. Welcher Lerneffekt besteht wenn wir alle Regeln angeben?

[himbaer]

Ich wollte man nachfragen, ob das 5te Übungsblatt Klausurrelevant ist. Und wenn ja, wie könnte dann in etwa eine Frage zu diesem Thema aussehen?

[Nathan Wasser]

Klausurrelevant ist prinzipiell alles was in Vorlesung, Übung oder Labs dran kam.

Wie aber schon erwähnt, werden keine Regeln des Dynamic Logic Kalküls abgefragt, sondern vielmehr ist hier die Grundverständnis wichtig, um beispielsweise zu begründen weshalb eine Implementierung zur Spezifikation passt oder nicht.