4 - Grundlagen der Logik in der Informatik/ClipID:6842 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-07

Zugang

Frei

Sprache

Deutsch

Einrichtung

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Produzent

MultiMediaZentrum

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

Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-11-14
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-11-21
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-11-28
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-12-05
Frei
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-12-12
Frei

Mehr Videos aus der Kategorie "Technische Fakultät"

2024-02-12
IdM-Anmeldung
geschützte Daten  
2024-02-12
IdM-Anmeldung
geschützte Daten  
2024-02-09
Studon
geschützte Daten  
2024-02-12
Studon
geschützte Daten