Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik - Sebastian Böhne, Prof. Dr. Maria Knobelsdorf - Universität Hamburg
- Lecture2Go
- Videokatalog
- F.6 - Mathematik, Informatik, Naturwissenschaften
- Informatik
- Mathematisch Argumentieren und Beweisen
Videokatalog
1135 Aufrufe
06.10.2016
Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik
Teilen
Dieses Video darf in andere Webseiten eingebunden werden. Kopieren Sie dazu den Code zum Einbetten und fügen Sie diesen an der gewünschten Stelle in den HTML-Text einer Webseite ein. Geben Sie dabei bitte immer die Quelle an und verweisen Sie auf Lecture2Go!
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