You must log in or # to comment.
Dieser Zuhausi erbittet Kontext.
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.
Was sollen diese Witze über 3sat? Inakzeptabel!
3𝔰𝔞𝔱 𝔘𝔩𝔱𝔯𝔞𝔰
