20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution - Dr. Frank Heitmann - Universität Hamburg
- Lecture2Go
- Videokatalog
- F.6 - Mathematik, Informatik, Naturwissenschaften
- Informatik
- Formale Grundlagen der Informatik I
Videokatalog
3000 Aufrufe
14.06.2016
20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution
⚠︎ Die Aufzeichnungen dieser Vorlesung sind für die Prüfungsvorbereitung im Modul ‚Formale Grundlagen der Informatik I' der Universität Hamburg (seit 2022) aufgrund geänderter Inhalte nicht mehr geeignet!
Technischer Support
Bitte klicken Sie auf den nachfolgenden Link und füllen Sie daraufhin die notwendigen Felder aus, um unser Support-Team zu kontaktieren!
Link zu der RRZ-Support-Seite