Grundlagen der Logik und Logikprogrammierung 2012 (SD 640)

1. Logisches Argumentieren 2. Quantoren 3. Relationen 4. Anfangsgründe von Prolog 5. Wahrheit 6. Klassische Logik 7. Logikkalküle 7. Prolog: Theoretische Grundlagen und Programmierpraxis 8. Fortgeschrittene Logikprogrammierung 9. Modellierung mit logischen Mitteln 10. Anwendungen der Logik in den Formalwissenschaften