TI hatten wir, das Problem haben wir dort aber meine ich nicht behandelt. Es gab noch ein anderes Modul in der Richtung, das es in der aktuellen Prüfungsordnung noch nicht gibt, aber eigentlich nich eingeführt werden soll. Habe den Namen aber gerade nicht parat.
Lass mich dir sagen: Aus dem Modul, aus dem ich von 3-SAT weiß, waren nur die booleschen Umformungen (Implikation durch Disjunktion ersetzen, deMorgans Regeln) wichtig.
Hattet ihr Theoretische Informatik oder Logik als Module?
TI hatten wir, das Problem haben wir dort aber meine ich nicht behandelt. Es gab noch ein anderes Modul in der Richtung, das es in der aktuellen Prüfungsordnung noch nicht gibt, aber eigentlich nich eingeführt werden soll. Habe den Namen aber gerade nicht parat.
Lass mich dir sagen: Aus dem Modul, aus dem ich von 3-SAT weiß, waren nur die booleschen Umformungen (Implikation durch Disjunktion ersetzen, deMorgans Regeln) wichtig.