Connectez-vous pour filtrer par séance de cours Connectez-vous pour filtrer par séance de cours Réinitialiser
Couvre les bases et les applications du calcul séquentiel en logique et théorie des preuves, y compris l'élimination des coupes et l'analyse des preuves pratiques.
Plonge dans les idées pédagogiques sur les bords, en soulignant l'importance du transfert dans l'éducation.
Se penche sur les niveaux de généralisation dans les activités d'apprentissage et sur l'importance du transfert des connaissances.
Explore les étiquettes de bord, les compétences telles que l'agrégation et la déduction, et la structure du contenu.
