Braindump GLoIn WS18/19

Hier wird die Grundlagen der Logik in der Informatik Klausur des Wintersemesters 2018/19 in LaTeX rekonstruiert. Basiert teilweise auf der Probeklausur des gleichen Semesters.

Es besteht keine Gewähr hinsichtlich der inhaltlichen Korrektheit dieses "Braindump"s. Verbesserungen und (konstruktive) Kritik werden gerne gesehen, beispielsweise in Form von:

• Inhaltlichen Verbesserungen
• Aufzeigen typographischer Fehler
• usw.

Dieses kann entweder über Gitlab, oder mir persönlich via Email gemacht werden.

Dieses Dokument, wie auch der Quelltext, ist unter CC BY-SA 4.0 veröffentlicht.