D120.de/forum

Hallo, Mal eine generelle Frage. Hoffe ich hab nichts übersehen.. In den Folien ist es immer so, dass z.B. bei einer Sortierung in dem Bedingungsbereich nur einfache Vergleiche gemacht werden: /*@ ensures (\forall int i, j; i >= 0 && i < j && j < size; arr[i] < arr[j]); @*/ Mein Ansatz ist dann aber...

Bin auch noch auf der Suche! Grüße

Hi Mo, wäre auch dabei! Ich schreibe dir ein PN

Hat sich erledigt

Wäre auch sehr verbunden über ein paar Bilder

Edit: angekommen, danke!

Unerwartet im Sinne von: "Ich hab schlimmeres erwartet" oder unerwartet im Sinne von "WTF is this shit? TableFlip" :D Ich für meinen Teil fand die Klausur ziemlich gut strukturiert, ja fast schon chronologisch wurde so ziemlich der gesamte Stoff abgefragt und das Ganze auf einem Niveau, wo jeder, d...

Cpro hat geschrieben:Stillschweigen... kein "Wie war die Klausur"-Thread... sind wohl alle emotional überwältigt

Hahaha! Genau das gleiche habe ich mir auch gedacht

War schon... ähm.. wie soll ich sagen.. eine sehr "unerwartete" Klausur..

Hallo, eine Frage zu c) ich komm auf 29 und nicht auf 30. Wie berechnet man das. Nach dem Link den du angeben hast. Bekomme ich für d0= 57 d1 = 4 d2= 16 d3 = 20 d4 = 46 d5=51 (di+1 = di² mod n) ,, Nun s= 57*20*46*51 = 2674440 mod 59 = 29 ... kann mir bitte jemand sagen was ich falsch mache. hab das...

naja nen bug würd ich das nicht nennen. wenn x ungleich leerem tupel ist, dann gebe die punkte aus, ansonsten 0. hmm man kann die fallunterscheidung eigentlich auch weglassen, weil das in der points-funktion möglicherweise schon abgefragt wird. Es ging um einen Bug in der Forensoftware - das LateX-...

naja nen bug würd ich das nicht nennen. wenn x ungleich leerem tupel ist, dann gebe die punkte aus, ansonsten 0.
hmm man kann die fallunterscheidung eigentlich auch weglassen, weil das in der points-funktion möglicherweise schon abgefragt wird.

A1: filter((x,xs),g) = \begin{cases} (x, filter(xs,g)), & \text{wenn }gebiet(x)=g\\ filter(xs,g), & \text{sonst } \end{cases} filter((),g) = () gebpoints(x,g) = \begin{cases} points(filter(x,g)), & \text{wenn }x \neq ()\\ 0, & \text{sonst}\end{cases} A2: \Phi_1 := \forall s \in STD: points(prüfungen...

Meine Kalkülregel für die 3b): rhd \Large { {<a \ :: \ l,\ \sigma> \ \Downarrow \ (n_{1},...,n_{k})}\over{<hd(a \ :: \ l),\ \sigma>\ \Downarrow \ a} } Müsste da nicht noch die Seitenbedingung rein? rhd \Large { {<a \ :: \ l,\ \sigma> \ \Downarrow \ (n_{1},...,n_{k})}\over{<hd(a \ :: \ l),\ \sigma>\...

(ar ∨ 1) ist aber das hier:
⟨true ∨ b_2, σ⟩ →1 true

und nicht das was du im ersten beitrag geschrieben hast... oder seh ich da was falsch?

Bitte auch um Zugangsdaten. Danke!

Bitte um Einschreibeschlüssel!