Podcast
Grundlagen der Logik und Logikprogrammierung 2012 (SD 640)
Prof. Dr. Lutz Schröder
0 Plays
1. Logisches Argumentieren2. Quantoren3. Relationen4. Anfangsgründe von Prolog5. Wahrheit6. Klassische Logik7. Logikkalküle7. Prolog: Theoretische Grundlagen und Programmierpraxis8. Fortgeschrittene Logikprogrammierung9. Modellierung mit logischen Mitteln10. Anwendungen der Logik in den Formalwissenschaften
