FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

Substitution und MP

Substitution und MP 2004-07-18 20:29
pRoMoE
Kann ma jmd was Gescheites dazu sagen, im Besonderen zu der Musterlösung vom Aufgabenblatt 6?

Ich check da nämlich so gut wie gar nix [img]http://www.fb18.de/gfx/wand.gif[/img]

Re: Substitution und MP 2004-07-18 20:57
Brokkoli
hm im prinzip substituiert man da wild an den formeln herum die man hat (und an den axiomen) und versucht dann eine der interferenzregeln zu erreichen (hier mp) dann wendet man die an, substituiert weiter bis man eben mal das hat was am anfang gefragt wurde [img]http://www.fb18.de/gfx/28.gif[/img]

ok es wird dir vermutlich nicht helfen, mir hilft es auch nix (wenn das drankommt hab ich schonmal was was ich auslassen kann… *g*)

Re: Substitution und MP 2004-07-18 21:01
Anonymer User
kann sein, dass ich mich irre, aber ich glaube, dass irgendwo mal gesagt worden ist, dass (Blatt 6) aufgabe2 b und c so schwer sind, dass sie als übungsaufgabe nicht bewertet werden…

Re: Substitution und MP 2004-07-18 21:02
Brokkoli
ja stimmt… aber die anderen aufgaben sind ja auch nicht viel besser

Re: Substitution und MP 2004-07-18 21:11
Anonymer User
stimmt [img]http://www.fb18.de/gfx/bounce.gif[/img]