Grundlagen der Logik und Logikprogrammierung 2012

Details

Letzter Beitrag vom 2012-07-11 

Fakultät

Friedrich-Alexander-Universität Erlangen-Nürnberg

Aufzeichnungsart

Vorlesungsreihe

Zugang

Frei

Sprache

Deutsch

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

Zugehörige Einzelbeiträge

Folge
Titel
Lehrende(r)
Aktualisiert
Zugang
Dauer
Medien
1
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-04-18
Frei
01:26:15
2
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-04-28
Frei
01:27:17
3
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-02
Frei
01:28:35
4
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-09
Frei
01:25:33
5
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-16
Frei
01:28:14
6
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-23
Frei
01:03.34
7
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-05-30
Frei
01:12:51
8
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-06-06
Frei
01:26:36
9
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-06-13
Frei
01:27:19
10
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-06-20
Frei
00:59:54
11
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-06-27
Frei
01:26:19
12
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-07-04
Frei
01:22:52
13
Grundlagen der Logik und Logikprogrammierung
Prof. Dr. Lutz Schröder
2012-07-11
Frei
01:04:29

Mehr Kurse von Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-27
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-01-29
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-02-06
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Frei

Mehr Kurse aus der Kategorie "Informatik"

Bauer, Frank
Dr. Frank Bauer
2016-12-22
IdM-Anmeldung
Riess, Christian
Dr. Christian Riess
2018-07-05
Frei
Campustreffen
2018-02-08
IdM-Anmeldung / RRZE Intern
Hornegger, Joachim
Prof. Dr. Joachim Hornegger
2012-02-07
Frei