Grundlagen der Logik in der Informatik 2016/2017 /KursID:502
- Letzter Beitrag vom 2017-02-06

Lehrende(r)

Prof. Dr. Lutz Schröder

Einrichtung

Lehrstuhl für Informatik 8 (Theoretische Informatik)

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 preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-17
Frei
00:38:51
go to clip page
2
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-24
Frei
01:30:18
go to clip page
3
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-10-31
Frei
01:22:05
go to clip page
4
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-07
Frei
01:16:25
go to clip page
5
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-14
Frei
01:25:51
go to clip page
6
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-21
Frei
01:19:39
go to clip page
7
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-11-28
Frei
00:52:31
go to clip page
8
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-05
Frei
01:18:40
go to clip page
9
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-12
Frei
01:23:46
go to clip page
10
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2016-12-19
Frei
01:28:37
go to clip page
11
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-09
Frei
00:00:30
go to clip page
12
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-16
Frei
01:13:11
go to clip page
13
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-23
Frei
01:23:31
go to clip page
14
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-01-30
Frei
01:28:54
go to clip page
15
Grundlagen der Logik in der Informatik preview image
Grundlagen der Logik in der Informatik
Prof. Dr. Lutz Schröder
2017-02-06
Frei
01:29:52
go to clip page

Mehr Kurse von Prof. Dr. Lutz Schröder

Grundlagen der Logik in der Informatik 2017/2018  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2018-02-07
Frei
Kommunikation und Parallele Prozesse 2014  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2014-07-10
Frei
Theorie der Programmierung 2023  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2023-07-20
IdM-Anmeldung
Grundlagen der Logik in der Informatik 2015/2016  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2016-02-01
Frei
Ontologien im Semantic Web 2018  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2018-07-12
Frei

Mehr Kurse aus der Kategorie "Technische Fakultät"

Konzeptionelle Modellierung 2018/2019  
Lenz, Richard
Prof. Dr. Richard Lenz
Vorlesung
2019-02-08
Studon
Kunststoffe und ihre Eigenschaften KE (WS2020/21) 2020/2021  
Schloss1
Prof. Dr. Dietmar Drummer
Vorlesung
2021-02-08
Passwort
Kryptologie und Protokollverifikation 2014/2015  
Milius, Stefan
Prof. Dr. Stefan Milius
Vorlesung
2015-01-29
IdM-Anmeldung
Konzeptionelle Modellierung 2021/2022  
Schloss1
Vorlesung
2022-01-24
Studon
Konzeptionelle Modellierung 2016/2017  
Lenz, Richard
Prof. Dr. Richard Lenz
Vorlesung
2017-02-07
Studon