Am Sonntag, 15. Januar 2006 14:50 schrieb Al Bogner:
Am Sonntag, 15. Januar 2006 14:37 schrieb Jan Ritzerfeld:
Bei solchen Termen wie im "Beispiel" ist Umformen ja auch nicht so wahnsinnig schwierig.
Klar, kostet aber auch Zeit und wenn man sich nicht besonders konzentriert, weil es ja ziemlich simpel ist, dann kann auch schon ein Fehler passieren.
Jein, was ich meinte: Für ein Computerprogramm ist das nicht sonderlich schwierig.
Kann bestimmt auch selbst in prolog programmieren. :-D
Kostet aber noch mehr Zeit als 20 Terme selber rechnen. Gut, ich weis aber auch noch nicht, wie oft ich das in Zukunft brauchen werde.
Termvereinfachungsregeln sind Übungsaufgaben für angehende Dipl.-Informs. :) http://www.informatik.uni-kiel.de/~klh/Logik/ue3.pdf (Übung 11) http://www.informatik.uni-kiel.de/~klh/Logik/ue9.pdf (Übung 33) Und das gleich auch noch fürs Differenzieren in Jahrgangsstufe 11. ;) Gruß Jan -- Power means not having to respond.