Grundlagen der Logik in der Informatik 2015/2016 /KursID:397
- Letzter Beitrag vom 2016-02-01

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

Mehr Kurse von Prof. Dr. Lutz Schröder

Grundlagen der Logik in der Informatik 2022/2023  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2023-02-09
IdM-Anmeldung
Theorie der Programmierung 2023  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2023-07-20
IdM-Anmeldung
Kommunikation und Parallele Prozesse 2015  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2015-07-17
Frei
Grundlagen der Logik in der Informatik 2017/2018  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2018-02-07
Frei
Theorie der Programmierung (ThProg) 2014  
Schröder, Lutz
Prof. Dr. Lutz Schröder
Vorlesung
2014-07-10
Frei

Mehr Kurse aus der Kategorie "Technische Fakultät"

Hochleistungsstromrichter für die EEV WS20/21 2020/2021  
Schloss1
Dipl.-Ing. Gert Mehlman
Vorlesung
2021-02-19
Studon
Halbleitertechnologie I - Technologie integrierter Schaltungen (HLT I) 2023/2024  
Schulze, Jörg
Prof. Dr.-Ing. Jörg Schulze
Vorlesung
2024-02-07
Passwort / Studon
Halbleitertechnologie I - Technologie integrierter Schaltungen (HLT I) 2021/2022  
Schulze, Jörg
Prof. Dr.-Ing. Jörg Schulze
Vorlesung
2022-02-11
Passwort / Studon
Hardware-Beschreibungssprache VHDL 2022  
Schloss1
Dipl.-Ing. Jürgen Frickel
Vorlesung
2022-06-08
Studon
Hardware-Beschreibungssprache VHDL 2021  
Schloss1
Dipl.-Ing. Jürgen Frickel
Vorlesung
2021-07-13
Studon