21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution - Dr. Frank Heitmann - Universität Hamburg
- Lecture2Go
- Videokatalog
- F.6 - Mathematik, Informatik, Naturwissenschaften
- Informatik
- Formale Grundlagen der Informatik I
Videokatalog
3445 Aufrufe
20.06.2016
21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution
Formale Grundlagen der Informatik I (SoSe 16)
Aufgrund eines defekts an der Aufzeichnungstechnik weist das Folienbild leider einige verfärbungen und Artefakte auf
---
⚠︎ 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