Grundlagen der Logik und Logikprogrammierung 2012 (Audio) Prof. Dr. Lutz Schröder
-
- Bildung
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
-
5 - Grundlagen der Logik und Logikprogrammierung 2012
-
6 - Grundlagen der Logik und Logikprogrammierung 2012
-
7 - Grundlagen der Logik und Logikprogrammierung 2012
-
8 - Grundlagen der Logik und Logikprogrammierung 2012
-
9 - Grundlagen der Logik und Logikprogrammierung 2012
-
10 - Grundlagen der Logik und Logikprogrammierung 2012
Top‑Podcasts in Bildung
Erklär mir die Welt
Andreas Sator
ZEIT Sprachen – English, please!
ZEIT ONLINE
Eine Stunde History - Deutschlandfunk Nova
Deutschlandfunk Nova
carpe diem – Der Podcast für ein gutes Leben
carpe diem
Easy German: Learn German with native speakers | Deutsch lernen mit Muttersprachlern
Cari, Manuel und das Team von Easy German
Doc's Diary - zwischen Praxis und Prada
Doc Alina
Mehr von Friedrich-Alexander-Universität Erlangen-Nürnberg
Astronomie (Audio)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Einführungsvorlesung Mittelalter 2011/2012 (Audio)
Prof. Dr. Stuart Jenks
Grundkurs Strafrecht BT I 2012/2013 (Audio)
Prof. Dr. Hans Kudlich
Paläographie 2010 (HD 1280 - Video & Folien)
Prof. Dr. Stuart Jenks
Theoretische Physik 2: Theoretische Quantenmechanik (TP-2) 2014/2015 (HD 1280)
Dr. Frederic P. Schuller
Betriebswirtschaftslehre I 2010/2011 (SD 640)
Prof. Dr. Dirk Ulrich Gilbert