Grundlagen der Logik in der Informatik 2014/2015

Detailed information

Most recent entry on 2015-01-29 

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
2014-10-09
Free
01:15:30
2
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-10-16
Free
01:30:15
3
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-10-23
Free
01:28:05
4
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-10-30
Free
01:27:54
5
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-11-06
Free
01:30:40
6
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-11-13
Free
01:34:30
7
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-11-20
Free
01:17:27
8
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-11-27
Free
01:28:56
9
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-12-04
Free
01:27:29
10
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-12-11
Free
01:14:56
11
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2014-12-18
Free
01:26:51
12
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-01-08
Free
01:26:33
13
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-01-15
Free
01:25:53
14
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-01-22
Free
01:12:28
15
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-01-29
Free
01:16:40

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-21
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-02-06
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-02
Free

More courses in this category "Computer Science"

Freiling, Felix
Prof. Dr. Felix Freiling
2017-02-08
Studon
Eskofier, Björn
Prof. Dr. Björn Eskofier
2018-02-08
Free
Informatikjahr
2006-11-09
Free
Brinda, Torsten
Prof. Dr. Torsten Brinda
2011-06-09
Studon
Hornegger, Joachim
Prof. Dr. Joachim Hornegger
2009-07-21
Free