Ich steh momentan ziemlich auf dem Schlauch, was Herby angeht.
Mir fehlt immernoch der Zugang zum Herbrand-Theorem. Was er machen soll ist klar. Erfüllbarkeit testen.

Nur das Wie ist mir schleierhaft. Was macht man denn nun? Im Skript blicke ich da noch nicht durch, und Übungsaufgaben habe ich noch leider keine gefunden zu Herbrand, die mir das ganze mal vorspielen würden.

Wenn sich einer erbarmen würde und sein Wissen mal auf die Probe stellen will, der darf das noch mal ruhig lang und breit, darstellen, was man da nun macht. Wäre cool, denn Herby ist das einzige was mir noch Kopfschmerzen bereitet. der rest ist easy.

durch ein neues Topic wirds auch nicht besser ;)
closed ;)

http://3773.rapidforum.com/topic=101680480438

mir persönlich wäre ein bisschen Eigeninitiative lieb bevor ich mich da auch wieder reindenke,
beschreib doch mal was du schon verstehst,
woraus das ganze besteht/ was für Elemente/ Formeln, was die einzelnen Sätze alles besagen und was gerade an diesen einzelnen Dingen unverständlich ist usw.

nicht so platt 'erklärt doch mal bitte'
(auch wenn das von dir schon ganz anders klingt als bei manchen anonymen ;) )