Grundlagen der Logik in der Informatik 2014/2015 /KursID:323
- Letzter Beitrag vom 2015-01-29

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

Mehr Kurse von Prof. Dr. Lutz Schröder

Grundlagen der Logik in der Informatik 2015/2016  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2016-02-01
Frei
Algebra des Programmierens 2017  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2017-07-21
Frei
Kommunikation und Parallele Prozesse 2014  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2014-07-10
Frei
Nonclassical Logics in Computer Science 2015/2016  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2016-02-02
Frei
Modallogik 2025  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2025-05-20
Studon

Mehr Kurse aus der Kategorie "Technische Fakultät"

Grundlagen der Elektrischen Maschinen 2023  
Schloss1
Dr. Jens Igney
Vorlesung
2023-07-17
Passwort / Studon
Grundlagen der Elektrischen Antriebstechnik 2013/2014  
Piepenbreier, Bernhard
Prof. Dr. Bernhard Piepenbreier
Vorlesung
2014-01-22
Studon
Globale Navigationssatellitensysteme 2020/2021  
Schloss1
Prof. Dr. Jörn Thielecke
Vorlesung
2020-12-01
Studon
Geometric Modeling 2011/2012  
Stamminger, Marc
Prof. Dr. Marc Stamminger
Vorlesung
2012-02-08
Passwort
GET1 Praktikum 2020  
Schloss1
Torsten Reißland
Vorlesung
2020-05-19
IdM-Anmeldung / Studon