21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution - Dr. Frank Heitmann - University of Hamburg
- Lecture2Go
- Catalog
- F.6 - Mathematik, Informatik, Naturwissenschaften
- Informatik
- Formale Grundlagen der Informatik I
Catalog
2459 Views
20.06.2016
21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution
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!
Share
This video may be embedded in other websites. You must copy the embeding code and paste it in the desired location in the HTML text of a Web page. Please always include the source and point it to lecture2go!
Technical support
Please click on the link bellow and then fill out the required fields to contact our Support Team!
RRZ Support Link