14 Einträge gefunden

1. Der fachdidaktische Ansatz Physical Computing und sein Einfluss auf die Schülermotivation im Informatikunterricht der Sekundarstufe

   1. Schulz, Sandra
   2. Berg, Pamina
   3. Knobelsdorf, Maria

   2021 - Forschungsinformationssystem der UHH
2. "Computing & Climate Change Education with Geographical Information Systems" (CC-GIS). Vermittlung digitaler Bildung im thematischen Kontext von Klimawandel mit Geographischen Informationssystemen

   1. Knobelsdorf, Maria
   2. Otto, Jonathan
   3. Sprenger, Sandra

   2018 - Forschungsinformationssystem der UHH
3. Prädikatenlogische Regeln mit Gleichheit : Mathematisch Argumentieren und Beweisen

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

   2016 - Lecture2Go UHH - frei zugänglich
4. Binärbäume : 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. Nicht-rekursive Datentypen : Mathematisch Argumentieren und Beweisen

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

   2016 - Lecture2Go UHH - frei zugänglich
8. 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
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. Aussagenlogische Regeln Teil 1 : Mathematisch Argumentieren und Beweisen

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

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

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

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

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

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

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

    2016 - Lecture2Go UHH - frei zugänglich
14. Mathematisches Argumentieren : Mathematisch Argumentieren und Beweisen

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

    2016 - Lecture2Go UHH - frei zugänglich