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

Slides:



Advertisements
Présentations similaires
Utilisation des Tablettes Numériques Interactives
Advertisements

Baccalauréat professionnel en 3 ans Laccompagnement personnalisé Académie de Guyane - J.L.M
Premières Années Licence Appliquée en Gestion
Exemple d’un projet de production orale
Nadia BLEIN Classe de CP Ecole V. Couturier – SMH Septembre 2008
Quels usages du TNI dans sa pratique de classe et pourquoi ?
Introduction Pour concrétiser l’enseignement assisté par ordinateur
LES ACTIVITES PROFESSIONNELLES DE SYNTHESE
Les logiciels libres et le handicap pourquoi ??. Utiliser : la liberté dutiliser/exécuter le logiciel pour quelque usage que ce soit. Étudier : la liberté
Comment présenter un projet
La classe de seconde générale et technologique
Collège de Herrlisheim
Réaliser un TPE en classe de Première
Tableau interactif … sans tableau interactif
Détermination des processus
L'épreuve - preuve Ou l'indicateur d'acquisition de la compétence
Pédagogie par Objectifs
Définition : C'est un format de données qui permet de réaliser des sommaires Un « flux RSS » est un fichier texte qui contient les titres des derniers.
L’enseignement individualisé
TPE : Le carnet de bord Contenu Tenue Exemple Objectifs
TABLEAUX INTERACTIFS Sylwia Bączek Anna Polanowska Gr. 1.
FORMATION ASTEP POUR LES ENSEIGNANTS
Lycée Louis Vincent Séance 1
Certificat Informatique et Internet
3G / 4G L’attitude et la participation en classe L’étude à domicile La méthode de travail La tenue des notes de cours Le journal de classe L’évaluation.
Créer et publier des exercices interactifs avec Hot Potatoes
LE TABLEAU BLANC INTERACTIF (TBI)
Ergonomie des Interactions personne-machine Lancement des projets 23 septembre 2010 TECFA Technologies pour la Formation et lApprentissage Enseignante:
Échéancier # E) Bilan réflexif /rapport individuel (cours # 15 individuel disponible sur le site section travaux (Attention : rédiger votre travail.
Formation des tutrices et des tuteurs
LE HARCÈLEMENT SCOLAIRE
1 Trucs divers Martine Mottet 3 décembre Gestion des dossiers et des fichiers Arborescence des dossiers et des fichiers –Nom générique, nom spécifique.
Création de liens hypertextes Il est possible deffectuer des liens hypertextes vers: une autre diapositive du montage en coursautre diapositive.
E-learning et plates-formes d’échanges
13-14 juin 2007 Synthèse du groupe 2 Les équipes participantes 3D Geom.net : géométrie dans lespace APLUSIX : les expressions algébriques, les transformations.
ÉDUCATION À LA SANTÉ ET À LA CITOYENNETÉ
Evaluation au baccalauréat
Atelier de formation Animation: CEMIS Québec - Chaudière-Appalaches Avril - Mai 2000 Les TIC dans la réforme: qu'en est-il vraiment?
Université Numérique de la Nièvre
Accompagnement de la réforme en classe de seconde en physique chimie
Université Numérique de la Nièvre
GROUPE 4&, agence TREEBU Par Jean-Baptiste LALANGUE.
Colloque ePrep Lycée Clemenceau Académie de Nantes Colloque ePrep Atelier n°4 Quels projets pilotes mener dans des établissements accueillant des CPGE.
Humour.com.
Historique du projet. Une banque de données vidéo pour des TP de Physiques. L’idée de départ : illustrer l’ensemble des TP de physique de Sup et de Spé.
TBI les tableaux blancs interactifs
Formations en Informatique Comment réussir votre formation en E-learning avec SkillSoft?
Modèle de conception et de production à la SOFAD Journée d’échange du CLIFAD Trois-Rivières, le 3 décembre 2004 Jean-Simon Labrecque, Chargé de projets.
Sylvie Charpentier, Conseillère pédagogique Libourne 2
Z awacki C onsultant I nformatique inc. Daniel Zawacki Consultant.
Quelques notions pédagogiques
L’ EQUIPEMENT PEDAGOGIQUE. Une entrée par des situation professionnelles, les activités, les tâches et les compétences pour la construction des séquences.
Contexte d’utilisation (avec qui ? Intérêt pédagogique Environnement numérique nécessaire Discipline concernée Conditions de prise en main Formation de.
INTERNET Le langage HTML
Ergonomie des Interactions personne-machine Lancement des projets 23 septembre 2009 TECFA Technologies pour la Formation et l’Apprentissage Enseignante:
France Métropolitaine Juin 2006
Oral de Soutenance du projet Bac STMG option SIG Session 2014
Informatique et Sciences du Numérique
Pathways to Performance and Success 1 Appliquer de nouvelles approches pour développer le talent Dr. Sharon Fratta-Hill.
(Guadeloupe 97) Ecrire les nombres suivants sous la forme a , a et b étant deux entiers avec b le plus petit possible. C = D= b
Pédagogie inversée : qu'est-ce que c'est ?
EFI Introduction à l’adaptation sociale et scolaire EFI 2243 INTRODUCTION À L’ADAPTATION SOCIALE ET SCOLAIRE Plan de cours Site Web Formation des.
Cours multimédia Organisation de l ’éducation au Québec Par Jean Loiselle et Jacques Daignault Colloque du BTSE, août 1999.
Chiffres Comment les faire ? Quand les faire ? Cliquez pour faire progresser.
ALTERNATIF RALENTI  GTBF  Lampe  Moteur Leçon + ex n°6 page 192
Jeu – Mon tableau à double entrée
Aide Retraités & Seniors 7 – Formation ‘’ Tableur ‘’ Objectif : Maîtriser Excel : prise en main. Créer des feuilles de calcul. Pré-requis.
Les Parcours du Cœur Pour chaque participant 2 Document prévention 20 pages A5 Sticker.
Boostez la créativité et l’expression de vos étudiants en un « Atelier » ! Atelier proposé par : Lydie Rollin, Willy Mongon Edo’o Université Paris Ouest.
Outils d’Auto- Apprentissage & d’Auto-Evaluation JF Denef Avec la collaboration de Claire de Burbure MD PhD Université catholique de Louvain.
Transcription de la présentation:

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)