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.
Braindum GLoIn WS 15/16
Ich habe mal zusammengeschrieben, was ich noch über die Klausur weiß. Leider habe ich bei der Aussagenlogik kleine Gedächtnislücken. Wäre dankbar, wenn da jemand helfen könnte.
Der Rest sollte vollständig sein.
Für Kommentare/Ergänzungen gerne offen.
https://www.dropbox.com/s/6yereqx0nl3wwsu/braindump.txt?dl=0
1 „Gefällt mir“
Zur Aussagenlogik fallen mir noch ~B |= ~(A->B) und (A->C) /\ (B->C) |= (A / B) → C ein.
Danke dir. Habe ich beides zur Aussagenlogik hinzugefügt.
Erinnert sich noch jemand an die letzte Aussagenlogik?
mal dreist aus facebook kopiert;)
Attachment:
12898336_793682310764188_5878056780102196256_o.jpg: https://fsi.cs.fau.de/unb-attachments/post_145663/12898336_793682310764188_5878056780102196256_o.jpg
