infostudium.de

von **Martin** » 12.02.07 20:28

Lukas und ich haben den Zettel von Stefan Schiffer [1] überarbeitet. Nen paar Kleinigkeiten fehlen noch, dann werden wir den auch online stellen. Aber man sollte dabei halt bedenken, dass Sachen, die uns klar sind, da nicht unbedingt drauf stehen.

[1] http://s-inf.de/Skripte/MaLo.2000-SS-Graedel.(ST).Fuschzettel.pdf

von fw » 12.02.07 22:30

tobias hat geschrieben:Davon abgesehen und um dieser müßigen Diskussion ein Ende zu bereiten: Es ist erlaubt Zettel von s-inf mit in die Klausur zu nehmen!

Unbedingt komplett und gründlich verifizieren! Habe bestimmt 5 oder 6 Formelblätter durchgelesen und auf jedem waren lächerliche und schlimme Fehler drauf (und auch solche die man beim überfliegen garnicht sieht, aber die schwere Auswirkungen haben würden wenn man sie benutzt!)

von **heipei** » 12.02.07 23:22

fw hat geschrieben:Habe bestimmt 5 oder 6 Formelblätter durchgelesen und auf jedem waren lächerliche und schlimme Fehler drauf (und auch solche die man beim überfliegen garnicht sieht, aber die schwere Auswirkungen haben würden wenn man sie benutzt!)

yep, z.B. fehler bei den de morganschen regeln...

von **Martin** » 12.02.07 23:35

Ich hab für heute keinen Bock mehr, Fehler zu suchen und noch Sachen dazu zu schreiben, aber ihr könnt euch gerne dazu äußern: http://www.martinhenze.de/uni/malo_vorab.pdf

von **SpatzenArsch** » 12.02.07 23:51

mister_nu hat geschrieben:Ich hab für heute keinen Bock mehr, Fehler zu suchen und noch Sachen dazu zu schreiben, aber ihr könnt euch gerne dazu äußern: http://www.martinhenze.de/uni/malo_vorab.pdf

Ist in der Übertragsformel auf der letzten Seite, diese Rekursion wirklich erlaubt? Der entscheidene Nachteil an FO war doch eigentlich, dass es eben keine Rekursionen und unendlichen Iterationen zulässt.

von **Martin** » 12.02.07 23:55

SpatzenArsch hat geschrieben:Ist in der Übertragsformel auf der letzten Seite, diese Rekursion wirklich erlaubt? Der entscheidene Nachteil an FO war doch eigentlich, dass es eben keine Rekursionen und unendlichen Iterationen zulässt.

Das ist doch alles endlich, also kannst du das theoretisch auch alles ausschreiben, die tolle Rekursion ist also nur ne Platzersparniss.

von fw » 13.02.07 00:31

wäre cool wenn du auch das TeX File rausgibst wenn du fertig bist..

von **Nomar** » 13.02.07 11:15

mister_nu hat geschrieben:Ich hab für heute keinen Bock mehr, Fehler zu suchen und noch Sachen dazu zu schreiben, aber ihr könnt euch gerne dazu äußern: http://www.martinhenze.de/uni/malo_vorab.pdf

Bei den Rechenregeln, in der letzten Zeile sind zwei Tippfehler: $\forall\neg x$ statt $\forall x\neg\psi$ und $\exists\neg x$ statt $\exists x\neg\psi$ .

von **TBAA** » 13.02.07 14:01

Ich hab meinen in OpenOffice geschrieben weil ich von Tex keine Ahnung habe. Wurden genau 8 Seiten die man gut drucken konnte.
Jedoch hab ich weder verifiziert noch sonstwas gecheckt. Also alles auf eigene Gefahr. Wer Fehler findet kann mir ja ne PN schicken, dann fix ich das noch.
Wenn ihr lebensmüde seit und den drucken wollt: nur auf optimaler Dualität, sonst gehen ein paar Zeichen flöten.

http://www.blacksurprise.de/malo.pdf

von **paganlord** » 13.02.07 14:59

je 4 Seiten auf eine zu Drucken geht ganz prima. Beim Koinzidenzlemma hast Du unter (ii) aber noch was zum korrigieren :-)

Edit:
"Die Abwicklung von K von v aus ist..." ist irgendwie komisch ;-)

von **TBAA** » 13.02.07 15:12

behoben

von fw » 13.02.07 17:42

paganlord hat geschrieben:"Die Abwicklung von K von v aus ist..." ist irgendwie komisch ;-)

warum?

von **paganlord** » 13.02.07 17:49

lol, hab mich gefragt "woraus denn?" :lol:

Wird Zeit für mich endlich kein Malo mehr zu machen

von **Martin** » 13.02.07 19:43

So, ein paar Fehler korrigiert und noch ein paar Kleinigkeiten ergänzt: http://www.martinhenze.de/uni/malo_vorab.pdf

Betrachtet das als Release Candidate, wenn keine Fehler mehr gefunden werden, ist's fertig.

von **argon** » 13.02.07 20:54

mister_nu hat geschrieben:So, ein paar Fehler korrigiert und noch ein paar Kleinigkeiten ergänzt: http://www.martinhenze.de/uni/malo_vorab.pdf

Betrachtet das als Release Candidate, wenn keine Fehler mehr gefunden werden, ist's fertig.

erwischt:
1.1.2 vorletzte Zeile: da steht "straker" anstatt "starker"

*klugscheiss*

infostudium.de

Forum zum Informatikstudium an der RWTH Aachen

[MaLo] Zettel für Klausur