ich hab für mich ne zusammenfassung des F1 skriptes gemacht.
bei interesse hier downloaden:
http://www.lagourmanderie.de/uni/F1.pdf
hoffe es kann euch n bissel helfen…

[img]http://www.fb18.de/gfx/14.gif[/img]

Das finde ich sehr gut, zumal, soweit ich sehe, alles abgedeckt wurde!
Sowas könnte man auch woanders gut gebrauchen [img]http://www.fb18.de/gfx/28.gif[/img]

Toll dass Du Dir die Mühe gemacht hast!
Ist ziemlich gut geworden.

Ja, echt Klasse. Schade dass wir keine Unterlagen mitnehmen dürfen.

Aber auf Seite 4:
da steht: (F <-> G) = (F -> G) & (F -> G)
muß das nicht (F <-> G) = (F -> G) & (G -> F) heißen?

Aber auf Seite 4:
da steht: (F <-> G) = (F -> G) & (F -> G)
muß das nicht (F <-> G) = (F -> G) & (G -> F) heißen?

stimme dem zu!

jo
iss mir auch aufgefallen
sorry
hab ich korrigiert
ich stell die korrigierte fassung gleich auf den server

[edit] -wurde so eben aktualisiert- [/edit]

Def: Eine Klausel F ist genau dann erfüllbar, wenn %Kästchen% element Res*(F) […]

Ist das aber denn nicht genau ein Anzeichen für unerfüllbarkeit?

jo
thx
update gleich aufm server