[Progra] Klausur

[Eshmael]

Nabend.
Ich fand alles machbar.. nur das dämliche HoareKalkül war das erste das ich zum verrecken nicht hinbekommen habe. Habe gute 15 minuten drauf ver(sch)wendet.

Kennt jemand die Invariante? Ich hatte 2 Ideen am Ende aber leider nur noch 3 minuten Zeit.

[Coolcat]

Die Invariante sollte quasi das gewesen sein was da schon stand...man musste nur etwas an den Grenzen des Produkts rumspielen.

[marian]

Kennt jemand die Invariante? Ich hatte 2 Ideen am Ende aber leider nur noch 3 minuten Zeit.

Damit hats bei mir funktioniert.

[Eshmael]

Grmpf... das hatte ich ... aber ich habs bei der stelle

Code: Alles auswählen

res =res*(n-p)

nicht vernünftig rumgebaut gekriegt auffe schnelle...

Grmpf.. das ärgert mich jetzt...

[Cornflake]

Also machbar war auf jeden Fall alles, habe nur dummerweise 'n Denkfehler bei der reverse Funktion in Haskell gehabt, und ich habe zu spät bemerkt, dass der Baum am Ende bei Prolog totaler knös bei mir war.

Zur Invariante:

Grmpf... das hatte ich ... aber ich habs bei der stelle

Code: Alles auswählen

res =res*(n-p)

nicht vernünftig rumgebaut gekriegt auffe schnelle...

Grmpf.. das ärgert mich jetzt...

War eigentlich ganz einfach, wenn mann dieser dann doch nich so intuitiven Invariante "getraut" hat und es durchzieht, denn wenn das res mit n-p multipliziert wird, hast du denn Anfang des (@marian) Produkts (und nich der Summe) einfach einen mehr stehen, wodurch das plus 1 wegfällt (also hat mann dann n-(p+1-1)) , was aber durch das p=p+1 wieder kompensiert wird (n-(p-1)=n-p+1).

[mr.nice]

hart aber fair.

[MaoDelinSc]

\sum^n_{i = (n-p)+1} i \land n >= p

Damit hats bei mir funktioniert.

oO was heißt das denn auf deutsch/mathematisch?^^
Summe über i in den Grenzen von n-p bis n?

Ich hatte Summe über i in den Grenzen von 1 bis p als Invariante und das hat eigentlich ganz gut funktioniert

Ansonsten war die Klausur, was den Java-Teil angeht, eigentlich recht einfach, finde ich... auch wenn ich 4b aus Zeitgründen nich mehr geschafft hab... zu lang an Haskell gesessen und am Hoare-Kalkül... Prolog hab ich nur Unifikation gemacht und den SLD-Baum (der aber falsch ist)...

[mirko]

am besten, man setzt ein tex-tag davor - dann erkennt er zwar das \land noch nicht, aber das kann man ja einfach durch && ersetzen. dann sieht das ganze so aus:

[NeX]

die invariante hat auch wunderbar funktioniert...zumindest das was ich dabei rausbekommen habe...mal abwarten

[zorgblaubaer]

also bei meiner klausur war das jeweils das produkt, nicht die summe!

ich fand der haskell und prolog part waren härter als bei den alten klausuren dafür war der java teil leichter!

mit ein bisschen glück zumindest bestanden, hab mir mehr erhofft ;(

[MaoDelinSc]

ups^^ logo, Produkt ... ja bei mir natürlich auch

fand den Haskell/Prolog Teil auch ziemlich schwierig, vor allem weil ich dachte, ich kann Haskell Java-Teil war ja ganz super

[EPG]

Das war meine erste Verifikation, wo ich denke, sie richtig zu haben.
Hmm Aufgabe eins...ok, zwei auch, drei klar, vier nur die a) gemacht....haskell naja könnte passen halbwegs....prolog....sehr schlecht

wann ist eigentlich mit den ergebnissen zu rechnen?

[theTux]

Wir haben heute Power-Korrektur gemacht. Die Tutoren die Präsenzübung (Ergebnisse sind bereits im Studenteninterface abrufbar), die Assistenten die Klausuren. Das war natürlich mehr Arbeit und dauert wohl etwas länger. Die Ergebnisse sollten aber heute oder spätestens morgen verfügbar sein.

[NeX]

Wir haben heute Power-Korrektur gemacht. Die Tutoren die Präsenzübung (Ergebnisse sind bereits im Studenteninterface abrufbar), die Assistenten die Klausuren. Das war natürlich mehr Arbeit und dauert wohl etwas länger. Die Ergebnisse sollten aber heute oder spätestens morgen verfügbar sein.

wow.....so schnell hatte ich jetzt nicht mit den ergebnissen gerechnet...

dann hoffen wir mal das es noch heute abend wird....will das wissen

[nowonder]

Die Ergebnisse sollten aber heute oder spätestens morgen verfügbar sein.

Immer langsam mit den jungen Pferden. Die Nachholpräsenzübung ist wirklich gut ausgefallen. Die Bachelorprüfung hat aber ein paar mehr Klausuren mit mehr Aufgaben. Mit ein bisschen Glück schaffen wir das mit vereinten Kräften (Herzlichen Dank an die i2-Assis) bis morgen abend, aber mit den Ergebnissen würde ich im Zweifelsfall nich vor Montag rechnen.