Aussagenlogische Regeln Teil 2 und Kurzeinführung in Coq : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Nicht-rekursive Datentypen : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Aussagenlogische Regeln Teil 1 : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Prädikatenlogik mit Gleichheit in Coq : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Theoreme zu Gleichheit, Lambda-Ausdrücke, Suchen : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Aussagenlogik in Coq Teil 1 : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Mathematisches Argumentieren : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Natürliche Zahlen : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Listen : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Prädikatenlogische Regeln mit Gleichheit : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
Binärbäume : Mathematisch Argumentieren und Beweisen Böhne, Sebastian Knobelsdorf, Maria 2016 - Lecture2Go UHH - frei zugänglich
