Details

Letzter Beitrag vom 2017-02-06 

Fakultät

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

Aufzeichnungsart

Vorlesungsreihe

Über

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

Über

Dauer

Media

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
2015-01-29
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-07-16
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-27
Frei
freie Daten  


Mehr Kurse aus der Kategorie "Informatik"

Schloss1
Prof. Dr. Dietmar Fey
2015-07-06
Frei / Studon
geschützte Daten  
Rüde, Ulrich
Prof. Dr. Ulrich Rüde
2014-07-03
Studon
geschützte Daten  
Technik3
2016-10-24
Frei
freie Daten  
Fey, Dietmar
Prof. Dr. Dietmar Fey
2017-07-25
IdM-Anmeldung
geschützte Daten  
Maier, Andreas
Prof. Dr. Andreas Maier
2018-06-20
Frei
freie Daten