Une expérience Une expérience d'enseignement d'enseignement de la logique de la logique à l'ENS Lyonà l'ENS Lyon

Les caractéristiquesLes caractéristiques

Le contenu Les outils Les avantages Les problèmes

Le contenuLe contenu

Un cours de logique orienté vers l'informatique: preuve et calcul (correspondance de Curry-Howard et -calcul)

Les outilsLes outils

Une page Webhttp://www.ens-lyon.fr/~plescann/enseignement.html

Un cours en vidéo-projection L'assistant de preuve COQ

Les avantagesLes avantages pour l‘étudiant et l'enseignant

Communiquer Structurer le cours Favoriser l'interactivité

Les avantages Les avantages pour l‘étudiant

Bénéficier d'un canevas de cours qu'il peut annoter

Se libérer de la prise de notes et se concentrer sur les explications

Pouvoir explorer des pistes proposées sur la page Web

Les avantagesLes avantages pour l'enseignant

Ré-utiliser et compléter chaque année Mieux préparer (les avantages du couper-coller)

Prendre du recul en étant libéré de la tâche d‘écrire au tableau

Ne pas se salir avec la craie

Les problèmesLes problèmes

Passivité des étudiants Montage et démontage du matériel Rythme parfois trop élevé (écrire ralentit la

progression)