Grundlagen der Logik in der Informatik 2016/2017

Details

Letzter Beitrag vom 2017-02-06 

Fakultät

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

Aufzeichnungsart

Vorlesungsreihe

Zugang

Frei

Sprache

Deutsch

Aussagenlogik:

  • Syntax und Semantik

  • Automatisches Schließen: Resolution

  • Formale Deduktion: Korrektheit, Vollständigkeit

Prädikatenlogik erster Stufe:

  • Syntax und Semantik

  • Automatisches Schließen: Unifikation, Resolution

  • Quantorenelimination

  • Anwendung automatischer Beweiser

  • Formale Deduktion: Korrektheit, Vollständigkeit

     

 

Zugehörige Einzelbeiträge

Folge
Titel
Lehrende(r)
Aktualisiert
Zugang
Dauer
Medien
1
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-17
Frei
00:38:51
2
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-24
Frei
01:30:18
3
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-31
Frei
01:22:05
4
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-07
Frei
01:16:25
5
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-14
Frei
01:25:51
6
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-21
Frei
01:19:39
7
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-28
Frei
00:52:31
8
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-05
Frei
01:18:40
9
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-12
Frei
01:23:46
10
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-19
Frei
01:28:37
11
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-09
Frei
00:00:30
12
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-16
Frei
01:13:11
13
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-23
Frei
01:23:31
14
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-30
Frei
01:28:54
15
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-02-06
Frei
01:29:52

Mehr Kurse von Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2012-07-11
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-27
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-07-12
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Frei

Mehr Kurse aus der Kategorie "Informatik"

Hornegger, Joachim
Prof. Dr. Joachim Hornegger
2012-07-06
Frei
Eskofier, Björn
Prof. Dr. Björn Eskofier
2012-11-06
Frei
Riess, Christian
Dr. Christian Riess
2018-07-05
Frei
RRZE-Gebäude
Wolfgang Wiese
2017-05-24
Frei / RRZE Intern