Grundlagen der Logik und Logikprogrammierung Course ID:156 - podcast cover

Grundlagen der Logik und Logikprogrammierung Course ID:156

Prof. Dr. Lutz Schröder•www.api.video.uni-erlangen.de
Education

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

Last refreshed: ⓘ
Follow this podcast in the Metacast mobile app to refresh it and see new episodes.
Follow on
Apple Podcasts
Spotify
RSS
YouTube
Overcast
Pocket Casts
Episodes.fm
Download Metacast podcast app
Podcasts are better in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more

Episodes

For the best experience, listen in Metacast app for iOS or Android