7 - Grundlagen der Logik in der Informatik/ClipID:7036 vorhergehender Clip nächster Clip

Die automatischen Untertitel, die mit Whisper Open AI in diesem Video-Player (und im Multistream-Video-Player) generiert werden, dienen der Bequemlichkeit und Barrierefreiheit. Es ist jedoch zu beachten, dass die Genauigkeit und Interpretation variieren können. Für mehr Informationen lesen Sie bitte die FAQs (Absatz 14)
Aufnahme Datum 2016-11-28
Video Multistream Player Audio file CC Clip iFrame Code

Kurs-Verknüpfung

Grundlagen der Logik in der Informatik

Lehrende(r)

Prof. Dr. Lutz Schröder

Zugang

Frei

Sprache

Deutsch

Einrichtung

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Produzent

MultiMediaZentrum

Format

Vorlesung

Typ

universitäre Vorlesung

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

 

Nächstes Video

8 - Grundlagen der Logik in der Informatik
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-12-05
Frei
9 - Grundlagen der Logik in der Informatik
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-12-12
Frei
10 - Grundlagen der Logik in der Informatik
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-12-19
Frei
11 - Grundlagen der Logik in der Informatik
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-01-09
Frei
12 - Grundlagen der Logik in der Informatik
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-01-16
Frei

Mehr Videos aus der Kategorie "Technische Fakultät"

8 - Übung Halbleitertechnik II - CMOS Technik (HL II) WS2024/2025
2024-12-16
IdM-Anmeldung
geschützte Daten  
12 - Lecture 11 - Computational Fluid Dynamics 1 (CFD1)
2024-12-16
IdM-Anmeldung
geschützte Daten  
8 - Werkstoffkunde und Technologie der Metalle
2024-12-13
Passwort
geschützte Daten  
15 - Papierdiskussion
2024-12-13
IdM-Anmeldung
geschützte Daten  
51 - Beyond the Patterns - Prof. Dr. Don Qiu (Tsinghua University) – Beating Cancer with MRI, Robots & AI
2024-12-13
IdM-Anmeldung
geschützte Daten  
7 - Cyber-physical Systems (Übung), Wintersemester 2024/25
2024-12-17
Studon
geschützte Daten