FB18 - Das Forum für Informatik

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

F3/F4 Definitionen bei Farwer

F3/F4 Definitionen bei Farwer 2004-09-22 14:15
Anonymer User
Hallo Leute!!
Mich würde eigentlich nur interessieren ob Prof Farwer bei Fragen wie: "Wann ist eine Menge entscheidbar?" die Definition aus dem Skript hören will, oder eher eine Erklärung??

mfg

Re: F3/F4 Definitionen bei Farwer 2004-09-22 14:32
UncleOwen
Ich hab ihn genau das in der Prüfung gefragt, seine Antwort war in etwa "suchs Dir aus". Als ich dann mit der Definition angefangen hab, war er anscheinend angenehm überrascht.

Btw: Berndt ist (noch?) kein Prof.

Re: F3/F4 Definitionen bei Farwer 2004-09-22 15:05
Anonymer User
oh echt wie auch immer :)
danke

Re: F3/F4 Definitionen bei Farwer 2004-09-22 16:19
Zaphod
Man sollte die Definition aus dem Skript schon kennen, aber vor allem auch verstanden haben, was sie bedeuten. Dieses Verständnis kann man besser vermitteln, wenn man es auch in eigenen Worten formulieren kann.
Ich hab in der Prüfung zunächst immer die formale Definition aus dem Skript aufgeschrieben, und danach was dazu gesagt. Es kamen da aber auch Fragen wie "Kann man an dieser Stelle auch einen Doppelpfeil setzen und was würde das bedeuten?"

Re: F3/F4 Definitionen bei Farwer 2004-09-22 17:45
Fred
"Kann man an dieser Stelle auch einen Doppelpfeil setzen und was würde das bedeuten?"
Eine Biimplikation? [img]http://www.fb18.de/gfx/24.gif[/img]

Re: F3/F4 Definitionen bei Farwer 2004-09-22 18:59
Zaphod
[img]http://www.fb18.de/gfx/24.gif[/img]