Grundlagen der Logik in der Informatik 2015/2016

Detailed information

Most recent entry on 2016-02-01 

Faculty

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

Recording type

Vorlesungsreihe

Via

Free

Language

German

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

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-10-12
Free
01:06:40
2
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-10-19
Free
01:32:08
3
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-10-26
Free
01:31:15
4
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-02
Free
01:31:15
5
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-09
Free
01:30:09
6
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-17
Free
01:31:06
7
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-30
Free
01:22:00
8
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-07
Free
01:28:42
9
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-14
Free
01:27:58
10
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-21
Free
01:24:51
11
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-11
Free
01:29:05
12
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-18
Free
01:30:11
13
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-25
Free
01:04:29
14
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-02-01
Free
01:29:18

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2013-07-17
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-07-16
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2012-07-11
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Free

More courses in this category "Computer Science"

Riess, Christian
Dr. Christian Riess
2018-07-05
Free
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2017-07-27
Free
Schloss1
Prof. Dr. Rolf Wanka
2014-07-09
IdM-login
Maier, Andreas
Prof. Dr. Andreas Maier
2016-12-07
IdM-login
Freiling, Felix
Prof. Dr. Felix Freiling
2014-07-09
Studon