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.
6 Jahre Informatikstudium haben wohl doch nicht gereicht.
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.