Une expérience d'enseignement de la logique à l'ENS Lyon
Les caractéristiques ; Le contenu ; Les outils ; Les avantages ; Les problèmes
Le contenu Un cours de logique orienté vers l'informatique: preuve et calcul (correspondance de Curry-Howard et - calcul)
Les outils ; Une page Webhttp:// lyon.fr/~plescann/enseignement.htmlhttp:// lyon.fr/~plescann/enseignement.html ; Un cours en vidéo-projection ; L'assistant de preuve COQ
Les avantages Les 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 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
Les problèmes ; Passivité des étudiants ; Montage et démontage du matériel ; Rythme parfois trop élevé (écrire ralentit la progression)