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

Présentation au sujet: "Une expérience d'enseignement de la logique à l'ENS Lyon."— Transcription de la présentation:

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

2 Les caractéristiques ; Le contenu ; Les outils ; Les avantages ; Les problèmes

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

4 Les outils ; Une page Webhttp://www.ens- lyon.fr/~plescann/enseignement.htmlhttp://www.ens- lyon.fr/~plescann/enseignement.html ; Un cours en vidéo-projection ; L'assistant de preuve COQ

5 Les avantages Les avantages pour létudiant et l'enseignant ; Communiquer ; Structurer le cours ; Favoriser l'interactivité

6 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

7 Les avantages Les 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

8 Les problèmes ; Passivité des étudiants ; Montage et démontage du matériel ; Rythme parfois trop élevé (écrire ralentit la progression)