Hi, ich mal eine kurze Frage. Sind die Ableitungen und die genaue Kenntnis von Kalkülen wichtig oder reicht es, wenn man die Inferenzregeln und Substitution beherrscht, was meint ihr?
bis dann
die Ableitungen
welche meinst Du?
die genaue Kenntnis von Kalkülen
Ich glaub, da reichts, wenn man den Namen schonmal gehoert hat, und eventuell auch ein bisschen was damit anfangen kann. Welche Kalkuele es gibt (wir hatten eh nur Hilbert, oder?) halte ich fuer eher unwichtig. Und wenn wir wirklich im Hilbertkalkuel (oder irgendeinem anderen) rumrechnen sollen, wird das sicher im Anhang gegeben sein.
Inferenzregeln
kann nicht schaden… wobei ich bei einigen Sachen auch vermute, dass die (wenn ueberhaupt) im Anhang vorkommen
Substitution
braucht man doch eh an jeder Ecke, oder?
Wahrscheinlich meinte er Ableitungen in (bzgl.) Kalkuelen. Ich glaube zwar auch nicht, dass das drankommt, aber nur in Kalkuelen sind so schoene Begriffe wie 'beweisbar', 'Theorem' und eben auch 'a-/b-korrekt', 'a-/b-vollstaendig', '(In-)Konsistenz' (und die Folgerung der Unerfuellbarkeit einer Formelmenge) erklaert – na, und auch wenn's nicht drannkommt ist's doch lustig es zu wissen [img]
http://www.fb18.de/gfx/28.gif[/img]
Und noch was zum Anhang: Jemand der beim F1-Tutorium war (ich war selbst nicht da) meinte, dass gesagt worden waere, dass es zu F1 *KEINEN* Anhang geben wird.
Cheers,
Frank
P.S. Der Stundenzaehler ist unter die 24er-Marke gefallen!! Nicht mal mehr ein Tag [img]
http://www.fb18.de/gfx/25.gif[/img]
Und noch was zum Anhang: Jemand der beim F1-Tutorium war (ich war selbst nicht da) meinte, dass gesagt worden waere, dass es zu F1 *KEINEN* Anhang geben wird.
was meinst Du denn mit Anhang [img]
http://www.fb18.de/gfx/5.gif[/img]
gruß
Thomas
Anhang: Ein oder zwei Seiten Papier, die an die Klausur angeheftet sind und auf denen die ein oder andere Formel steht.
Zu F2 soll es sowas (angeblich) geben, zu F1 (angeblich) nicht.
Aber ist doch auch egal, einfach ueberraschen lassen [img]
http://www.fb18.de/gfx/24.gif[/img]
Cheers,
Frank
