Grundlagen der Logik in der Informatik 2015/2016

Details

Letzter Beitrag vom 2016-02-01 

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
2015-10-12
Frei
01:06:40
2
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-10-19
Frei
01:32:08
3
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-10-26
Frei
01:31:15
4
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-02
Frei
01:31:15
5
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-09
Frei
01:30:09
6
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-17
Frei
01:31:06
7
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-11-30
Frei
01:22:00
8
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-07
Frei
01:28:42
9
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-14
Frei
01:27:58
10
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2015-12-21
Frei
01:24:51
11
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-11
Frei
01:29:05
12
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-18
Frei
01:30:11
13
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-01-25
Frei
01:04:29
14
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-02-01
Frei
01:29:18

Mehr Kurse von Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-02-06
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-01-29
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-27
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2012-07-11
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-07-12
Frei

Mehr Kurse aus der Kategorie "Informatik"

Maier, Andreas
Prof. Dr. Andreas Maier
2019-01-29
Frei
Stamminger, Marc
Prof. Dr. Marc Stamminger
2016-02-03
Studon
Schober, Robert
Prof. Dr. Robert Schober
2013-07-15
Studon
RRZE-Gebäude
Wolfgang Wiese
2017-05-24
Frei / RRZE Intern