Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
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
About
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
Information
- CreatorProf. Dr. Lutz Schröder
- Episodes13
- RatingClean
- Copyright© 2026 FAU Erlangen-Nürnberg
- Show Website