Podcaster
Episoden
Über diesen Podcast
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
Kommentare (0)