12 Einträge gefunden

1. Mathematisches Argumentieren : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
2. Binärbäume : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
3. Prädikatenlogik mit Gleichheit in Coq : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
4. Prädikatenlogische Regeln mit Gleichheit : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
5. Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
6. Aussagenlogik in Coq Teil 1 : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
7. Natürliche Zahlen : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
8. Listen : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
9. Theoreme zu Gleichheit, Lambda-Ausdrücke, Suchen : Mathematisch Argumentieren und Beweisen

   1. Böhne, Sebastian
   2. Knobelsdorf, Maria

   2016 - Lecture2Go UHH - frei zugänglich
10. Nicht-rekursive Datentypen : Mathematisch Argumentieren und Beweisen

    1. Böhne, Sebastian
    2. Knobelsdorf, Maria

    2016 - Lecture2Go UHH - frei zugänglich
11. Aussagenlogische Regeln Teil 2 und Kurzeinführung in Coq : Mathematisch Argumentieren und Beweisen

    1. Böhne, Sebastian
    2. Knobelsdorf, Maria

    2016 - Lecture2Go UHH - frei zugänglich
12. Aussagenlogische Regeln Teil 1 : Mathematisch Argumentieren und Beweisen

    1. Böhne, Sebastian
    2. Knobelsdorf, Maria

    2016 - Lecture2Go UHH - frei zugänglich