Propositional Reasoning: SAT Solvers 12.5 - Phase Transitions: Where the Really Hard Problems Are/ClipID:25088 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 2020-11-27
Video Multistream Player CC Clip iFrame Code

Kurs-Verknüpfung

Artificial Intelligence (AI-1) WS 2020

Lehrende(r)

Prof. Dr. Michael Kohlhase

Zugang

Frei

Sprache

Englisch

Einrichtung

Professur für Wissensrepräsentation und -verarbeitung

Produzent

Friedrich-Alexander-Universität Erlangen-Nürnberg

Format

Vorlesung

Kontext

Ringvorlesung

Typ

universitäre Vorlesung

Discussion about the NP-hardness of SAT and whether DPLL is affected by this. 

Nächstes Video in Kapitel

Propositional Reasoning: SAT Solvers 12.6 - Conclusion
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-11-27
Frei
First Order Predicate Logic 13.1 - Motivation: A more Expressive Language
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-11-27
Frei
First Order Predicate Logic 13.2 - First-Order Logic
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-11-27
Frei
First Order Predicate Logic 13.3 - First-Order Logic: Syntax and Semantics
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-11-27
Frei
First Order Predicate Logic 13.4 - First-Order Substitutions
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2020-11-28
Frei

Mehr Videos aus der Kategorie "Technische Fakultät"

4 - CPU Entwurf mit VHDL
2024-05-02
IdM-Anmeldung
geschützte Daten  
6 - Theorie der Programmierung
2024-05-03
IdM-Anmeldung
geschützte Daten  
3 - Handhabungs- und Montagetechnik
2024-05-02
Studon
geschützte Daten  
3 - Grundlagen der Informatik
2024-05-03
Studon
geschützte Daten  
9 - Vorlesung Maschinenelemente II - Gestaltung von Getrieben und Umlaufrädergetrieben zusammen mit einer Zeichenübung
2024-05-03
Studon
geschützte Daten  
3 - Thinking in Frequency
2024-05-02
IdM-Anmeldung
geschützte Daten