Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Fragestunde zur Klausurvorbereitung
Die Tutoren bieten am Dienstag, 15.03.2016 um 14:00 in Raum 02.133-113 (Martensstraße 3) eine Fragestunde zur Klausurvorbereitung an. Die Fragestunde soll die Möglichkeit bieten, während des Lernens aufgekommene konkrete Fragen zu stellen und beantwortet zu bekommen. Wir werden jedoch aus zeitlichen Gründen nicht noch einmal den Stoff ausführlich wiederholen oder Aufgaben komplett an der Tafel vorrechnen können.
Hey,
ne kurze Frage zu Umformungen: Duerfen wir bspw. bei der Umformung in die praenexe NF bei Sachen wie
(∀x∀y∀z.R(x,y,z))∧∃w.P(w) gleich ein ∃w∀x∀y∀z.R(x,y,z)∧P(w)
draus machen oder muessen wir wirklich jeden Zwischenschritt aufschreiben? In dem Fall gings ja noch einigermassen, aber wenn noch ein paar mehr Praedikate vorhanden sind, wird man ja nie mit fertig.