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
2015-07-16
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-25
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-02-06
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2012-07-11
Free

More courses in this category "Computer Science"

DigiDok - Görz und Schneeberger
Prof. Dr. Günther Görz
2010-07-20
Free
Neue IT-Techniken
2018-11-15
Free
Kleinöder
Dr. Jürgen Kleinöder
2013-01-31
Free