Alte Klausuren?

[kned]

Das übliche Thema, hat jemand?

ich konnt nichts finden

[k_b]

Hallo,

ich habe auch schon danach gesucht (ELZI und TUDHelpzone), aber leider auch nichts gefunden. Ich denke vorallem auch die von letzten Wintersemster wäre interessant, da das ja das erste Mal war, nachdem Prof. Mantel die Vorlesung umgestellt hat.

Kann sich jemand noch erinnern, ob Prof. Mantel eine Aussage dazu gemacht hat, wie ähnlich die Klausuraufgaben den Übungsaufgaben werden bzw. sind?

[oren78]

Kann sich jemand noch erinnern, ob Prof. Mantel eine Aussage dazu gemacht hat, wie ähnlich die Klausuraufgaben den Übungsaufgaben werden bzw. sind?

der prof hat sich (soviel ich weiß) diesbezüglich nicht geäußert, dafür aber der assistent in der sprechstunde letzte woche, er meinte: wer die übungen alle gut macht sollte bei der klausur keine schwierigkeiten haben...

[k_b]

Ah super! Danke für die Info

[René]

Ich habe hier was gefunden aus WS 08/09 (Beispielhafte Klausuraufgaben). Allerdings ohne Lösungen.

[murri]

Ganz großes Tennis. Wieso macht man Beispielaufgaben, wenn man darunter schreibt, dass die Aufgaben in der Klausur schwieriger sein können...

[plane]

Wenn ich mich recht erinnere, dann waren die Probeaufgaben die original Klausur Aufgaben aus dem Jahr in dem das aktuelle FoC Team zum ersten Mal eine Klausur gestellt hat. Und einfach fand ich die in der Klausur nicht.

[C0RNi666]

Bezüglich der 1. Aufgabe der Probeaufgaben aus oben genanntem Link:

Hat jemand eine Erklärung wieso es bei der Formulierung der Zustandsmenge S nötig sein kann diese mitunter als Kreuzprodukt von 2 Mengen M zu definieren?
Würde es zb nicht reichen S = {l, r} x P(M) x N zu definieren, statt S = {l, r} x P(m) x P(m) x N? Schließlich interessiert mich in einem bestimmten Zustand des Systems, welche Personen sich gerade auf welcher Seite befinden und wieviel Zeit verstrichen ist..

Grüße

[oren78]

Schließlich interessiert mich in einem bestimmten Zustand des Systems, welche Personen sich gerade auf welcher Seite befinden und wieviel Zeit verstrichen ist..
Grüße

...und genau deswegen benötigst du zwei verschiedene mengen, für je eine seite der brücke - damit also zwei potenzmengen...

[C0RNi666]

...na dann ist doch aber die Menge {l,r} überflüssig, da die Zuordnung zum Ufer ja implizit durch die beiden Potenzmengen eindeutig definiert ist -> Erste Potenzmenge repräsentiert die Menge der Personen auf der linken Seite und die 2. Potenzmenge repräsentiert die Menge der Personen auf der Rechten Seite.

Wo ist hier der Denkfehler?

[jonas]

Du musst dir merken wo die Taschenlampe ist. dafür ist das \(\{l,r\}\) am Anfang.

[cmann]

{l,r} gibt an, auf welcher Seite sich die Taschenlampe befindet. Das ist nöitg damit das Modell Sinn macht, wird in der Aufgabenstellung aber unterschlagen.

[cdn]

Hat jemand zu Aufgabe 2 der Beispielaufgaben einen Lösungsvorschlag? Die 1. Teilaufgabe reicht, Teilaufgabe2 lässt sich ja analog zur ersten bearbeiten.

[C0RNi666]

Ah ok, vielen Dank euch beiden.

Bezüglich der 2. Aufgabe habe ich folgende Kalkülregeln hinzugefügt:

1. Teilaufgabe
\((rEf)~ \frac{}{<EX.b, ~ \sigma>, ~ Z> \Rightarrow ~ false>}~~Z = ()\)

2. Teilaufgabe:
\((rA)~\frac{<b[X \rightarrow z_{1}], ~ \sigma> \Downarrow true~~ <AX.b, \sigma, (z_2, ..., z_n)>\Rightarrow \omega}{<AX.b, ~ \sigma>, ~ Z> \Rightarrow \omega>}~Z = (z_1, ..., z_n) n \epsilon \mathbb N\)

\((rAf) \frac{<EX.b, ~ \sigma>, ~ Z> \Rightarrow ~ false>}{<AX.b, ~ \sigma>, ~ Z> \Rightarrow false>} ~ Z = (z_1, ..., z_n) n \epsilon \mathbb N\)

\((rAt) \frac{<b[X \rightarrow z_{1}], ~ \sigma> \Downarrow true}{<AX.b, ~ \sigma>, ~ Z> \Rightarrow true>} ~ Z = (z_1)\)

//editiert

[Radze]

Zur 1. Teilaufgabe:
Ok, kann man so machen.

Zur 2.
Dein rA ist leider nicht korrekt. Der linke Teil oben, muss zu true werden. Sollte er false sein, kannst du die Auswertung abbrechen, da du ein gegenbeispiel gefunden hast.
Außerdem fehlt dir ein true Basisfall.