Séances de cours associées à Sans titre

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Techniques de programmation logique: Recherche et unification automatisées de preuves

Couvre les concepts de programmation logique, en se concentrant sur la recherche de preuve automatisée et les techniques d'unification dans Coq.

Types dépendants dans les langages de programmation

Explore les cartes, les opérateurs de type, l'équivalence, les types de première classe, System Fw, Coq, et les défis de la vérification de type dans les langages de programmation.

Sans titre

Concevoir des expériences d'apprentissage: projet de classe CS411

Présente le projet de classe CS411, où les élèves conçoivent et testent une leçon en utilisant des théories d'apprentissage.

Cinématique : Déformation et Expansion

Explore la cinématique de la déformation, en se concentrant sur l'expansion radiale et linéaire, la torsion et la rotation d'un angle.