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.
Klausur Sommersemester 2017
Hi ich habe eine Frage zur kommenden Klausur. Wird sich die Klausur an der Probeklausur orientieren oder liegt der Schwerpunkt ganz wo anders?
Vielen Dank schonmal.
Na, drei mal kannst du raten 
Ganz unabhängig von GLoIn: Zweck der Probeklausur ist natürlich die Vorbereitung auf die eigentliche Klausur. Der Klausurstoff beschränkt sich auf der anderen Seite natürlich nicht nur auf die Probeklausur.
Zu GLoIn: Es gibt eigentlich keinen ‘Schwerpunkt’ sondern immer die gleichen groben Themengebiete, wenn man sich so die vergangenen Klausuren anschaut:
- Aussagenlogik via Wahrheitstafeln (Punkte sammeln!)
- Formalisierung in Logik erster Stufe
- Unifikation (Algorithmus vorrechnen)
- Resolution
- Natürliche Deduktion
- Induktionsbeweis (Schema F aus den Übungen)
Danke errnosys hat mir sehr geholfen 
schöne Ferien