FB18 - Das Forum für Informatik

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

Herbrand Theorie in der F1/F2 Klausur

Herbrand Theorie in der F1/F2 Klausur 2004-10-08 01:34
Spaceman
Die Herbrand-Theorie ist ja Teil des F1 Skriptes, aber es gab (wenn ich mich nicht irre) keine Übungsaufgaben zu diesem Thema. Ist nun also die Frage ob die Herbrand-Theorie in der Klausur dran kommt !?

Re: Herbrand Theorie in der F1/F2 Klausur 2004-10-08 02:09
Anonymer User
Es kann definitiv in der Klausur vorkommen, da es in der 1. Klausur auch vorkam. In einem anderen Thread hier findest du sogar ein altes Aufgabenblatt mit Aufgaben zu Herbrand-Theorie.

F1 also alles lernen bis incl. Kapitel 12…

Re: Herbrand Theorie in der F1/F2 Klausur 2004-10-08 02:10
Anonymer User
F1 also alles lernen bis incl. Kapitel 12…

Oder 13 ??? Weiß ich gar nicht im Moment, hab grade meine Unterlagen nicht hier.

Re: Herbrand Theorie in der F1/F2 Klausur 2004-10-08 11:02
Dennis-
bis einschließlich 12 wurde mir am ende der f1-übungsgruppe gesagt

Re: Herbrand Theorie in der F1/F2 Klausur 2004-10-08 12:37
Spaceman
Alles klar danke!