Zerschmetterling
Date of registration: Aug 31st 2003
Location: Hannover
Occupation: Informatikstudent (d'uh)
This post has been edited 1 times, last edit by "hamena314" (Feb 15th 2011, 11:02pm)
Gibt es ein algorithmisches Vorgehen um bei einer Formel zu erkennen ob sie eine Tautologie ist?
Zerschmetterling
Date of registration: Aug 31st 2003
Location: Hannover
Occupation: Informatikstudent (d'uh)
Zerschmetterling
Date of registration: Aug 31st 2003
Location: Hannover
Occupation: Informatikstudent (d'uh)
Das M steht für "Modell". Du hast ja in dieser Formel x1, x2 und x3 als Variablen. Dafür setzt du verallgemeinerte Werte in Form von anderen Variablen ein, z.B.m,k,l. Mit diesem Modell für t1 rechnest du weiter. Z.B. sei das Modell in der Reihenfolge, wie ich es gerade genannt habe. Dann setzt du in den Formeln ein für jedesBei Übung 6 verstehe ich noch nicht alles, wie wird z.b. bei "Zu t1: ... gebildet?
Welche Hilfsmittel sind zu der Klausur eigentlich zugelassen? Nichts, oder irgendwelche Zettel?
HAVE PHUN!
Zerschmetterling
Date of registration: Aug 31st 2003
Location: Hannover
Occupation: Informatikstudent (d'uh)