JavaScool:Ailleurs : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
m (Programmation formelle.)
m
 
(18 révisions intermédiaires par le même utilisateur non affichées)
Ligne 1 : Ligne 1 :
[[Catégorie:JavaScool]] __NOTOC__   
+
[[Catégorie:JavaScoolFaq]] __NOTOC__   
  
= Autres outils et ressources =  
+
= Autres outils pédagogiques pour apprendre l'informatique =  
  
Bien entendu, [http://javascool.gforge.inria.fr<tt>JavaScool</tt>] n'est pas le seul outil proposé pour les professeur(e)s des lycées au niveau de l'enseignement de l'algorithmique, donc de ''l'informatique'' au lycée. Voici quelques autres très beaux exemples que nous vous recommendons tout autant, selon les besoins et les aspirations:
+
Bien entendu, [http://javascool.gforge.inria.fr<tt>JavaScool</tt>] n'est pas le seul outil proposé pour les professeur(e)s des lycées au niveau de l'enseignement de l'algorithmique, donc de ''l'informatique'' au lycée. Sont exclus ici les produits non libres de droits ou limités à des systèmes propriétaires (par exemple qui ne marchent que sur mac ou windows). Voici quelques autres très beaux exemples que nous vous recommendons tout autant, selon les besoins et les aspirations:
  
==== Document de référence. ====
+
=== Alice : un langage pour 100 % graphique pour s'initier à la programmation objet. ===
  
Le document de [http://javascool.gforge.inria.fr/v3/documents/Algo_Doc_Ress.pdf ressources pour la classe de seconde au niveau de l'algorithmique] publié par [http://eduscol.education.fr ÉduSCOL].
+
Outil 100 % graphique : [http://www.alice.org Alice] est contruit sur le principe du cliquer, déplacer, déposer, comme [http://www.epi.asso.fr/revue/articles/a1006d.htm présenté ici] avec un ouvrage important et libre d'[http://www.animanum.com/alice/livre_alice.pdf initiation à la programmation objet]
* Toutes les activités de ce document ont été instanciées en <tt>[http://javascool.gforge.inria.fr/ Java'sCool]</tt><nowiki>: les ``</nowiki>[http://wiki.inria.fr/sciencinfolycee/ProgletSoluce soluces]´´ (aide syntaxique) sont proposées ici (nous [mailto:thierry.vieville@sophia.inria.fr?subject=%20A%20propos%20des%20algos%20EduSCOL:%20acc%C3%A8s%20aux%20soluces%20&body=Bonjour,%0a,%20%20Je%20suis%20un%20enseignant%20du%20lyc%C3%A9e%20de%20??%20%C3%A0%20??%20et%20souhaite%20acc%C3%A9der%20aux%20soluces%20des%20proglets%20(http://wiki.inria.fr/sciencinfolycee/Profs2009:ProgletSoluce).%0a,%20%20%20Voici%20un%20%C3%A9l%C3%A9ment%20qui%20prouve%20que%20je%20ne%20suis%20pas%20%C3%A9l%C3%A8ve%20%21%20:%20??%0a,%20%20Signature:%20?? contacter] pour l'accès).
 
 
 
==== Cours d'algorithmique. ====
 
 
 
Un cours d' [http://www.pise.info/algo/codage.htm ``informatique non matheux´´] du niveau correspondant aux présents objectifs.
 
 
 
==== Dossier sur l'algorithmique. ====
 
 
 
La revue en ligne [http://revue.sesamath.net/ MathemaTICE] de [http://sesamath.net/ Sesamath] a publié en septembre un [http://revue.sesamath.net/spip.php?rubrique60 dossier sur l'algorithmique].
 
 
 
==== Enseigner et apprendre les sciences informatiques à l'école. ====
 
 
 
Un [http://interstices.info/upload/csunplugged/CSUnplugged_fr.pdf document de référence] présenté par un [http://interstices.info/informatique-ecole collègue informaticien].
 
 
 
==== Sciences au lycée. ====
 
 
 
Le site du [http://www2.cnrs.fr/multimedia/44.html Sciences au lycée] ou le site [http://www.cnrs.fr/cw/dossiers/saga.htm Saga Science] du CNRS présentent des contenus qui utlisent beaucoup d'informatique.
 
  
 
==== LARP: un langage à la fois graphique et de pseudo-code. ====
 
==== LARP: un langage à la fois graphique et de pseudo-code. ====
Ligne 30 : Ligne 13 :
 
Ce Logiciel d'Algorithmes et de Résolution de Problème est un [http://larp.marcolavoie.ca/fr/default.htm logiciel éducatif d'enseignement de l'algorithmique] en programmation structurée en exploitant le pseudo-code et les organigrammes.
 
Ce Logiciel d'Algorithmes et de Résolution de Problème est un [http://larp.marcolavoie.ca/fr/default.htm logiciel éducatif d'enseignement de l'algorithmique] en programmation structurée en exploitant le pseudo-code et les organigrammes.
  
==== Algobox: une alternative conviviale à la Konsol/Scope de JavaScool. ====
+
=== Algobox: programmer des algorithmes sans syntaxe. ===
  
 
A l’aide d'un mini-langage algorithmique en français et d'une interface simple et ergonomique, le logiciel [http://www.xm1math.net/algobox algobox] permet de concevoir et de tester facilement les algorithmes que l'on peut rencontrer dans l’enseignement des mathématiques au secondaire.
 
A l’aide d'un mini-langage algorithmique en français et d'une interface simple et ergonomique, le logiciel [http://www.xm1math.net/algobox algobox] permet de concevoir et de tester facilement les algorithmes que l'on peut rencontrer dans l’enseignement des mathématiques au secondaire.
 +
 +
==== Execalgo: rédiger un programme avec une syntaxe très simplifiée ====
 +
 +
Le logiciel [http://www.ac-paris.fr/portail/jcms/p1_231670/execalgo execalgo] présente côte à côte le texte d'un mini programme rédigé avec une syntaxe très simplifiée utilisant des mots français et le texte résultant de l'exécution de ce mini programme. Cette exécution peut être demandée pas à pas.
  
 
==== Simulation et objets animés. ====
 
==== Simulation et objets animés. ====
Ligne 40 : Ligne 27 :
 
==== Calcul numérique. ====
 
==== Calcul numérique. ====
  
Si Scilab est un logiciel de calcul scientifique qui peut aussi bien être utilisé comme une super calculatrice graphique ou comme un outil complet pour résoudre des problèmes mathématiques, avec sa version `` [http://www.scilab.org/lycee Scilab pour les lycéen(ne)s]´´ une ressource libre et gratuite est offerte à la fois au professeur pour illustrer son cours et à l'élève en travaux dirigés comme en travail personnel, un grand nombre de contenus étant proposés sur le site. Par exemple, en lycée technique, il est utilisé pour la [http://www-sop.inria.fr/culture_scient/poster-rdmschool.pdf simulation et optimisation d'un pont en fil de fer et en nylon], (simulation de calculs mécaniques, logiciels numériques intégrés, ..) avec [http://rdmschool.gforge.inria.fr/ RdmSchool].
+
Si Scilab est un logiciel de calcul scientifique qui peut aussi bien être utilisé comme une super calculatrice graphique ou comme un outil complet pour résoudre des problèmes mathématiques, avec sa version `` [http://www.scilab.org/lycee Scilab pour les lycéen(ne)s]´´ une ressource libre et gratuite est offerte à la fois au professeur pour illustrer son cours et à l'élève en travaux dirigés comme en travail personnel, un grand nombre de contenus étant proposés sur le site. Par exemple, en lycée technique, il est utilisé pour la [http://www-sop.inria.fr/culture_scient/documents/poster-rdmschool.pdf simulation et optimisation d'un pont en fil de fer et en nylon], (simulation de calculs mécaniques, logiciels numériques intégrés, ..) avec [http://rdmschool.gforge.inria.fr/ RdmSchool].
  
 
==== Programmation graphique. ====
 
==== Programmation graphique. ====
  
Le logiciel [http://scratch.mit.edu/ Scratch] est une alternative qui permet de programmer à-la [http://fr.wikipedia.org/wiki/Logo_29 LOGO] et dont plusieurs exercices liés au programme de seconde sont [http://wiki.inria.fr/sciencinfolycee/Scratch proposés ici]. La programmation se fait en assemblant graphiquement des blocs de commandes, dont les primitives permettent de créer des histoires, des jeux et des animations qui sont ensuite publiés sur le Web.  
+
Le logiciel [http://scratch.mit.edu Scratch] est une alternative qui permet de programmer à-la [http://fr.wikipedia.org/wiki/LOGO LOGO] et dont plusieurs exercices liés au programme de seconde sont [http://wiki.inria.fr/sciencinfolycee/Profs2009:Scratch proposés ici]. La programmation se fait en assemblant graphiquement des blocs de commandes, dont les primitives permettent de créer des histoires, des jeux et des animations qui sont ensuite publiés sur le Web.  
  
 
==== Calcul symbolique. ====
 
==== Calcul symbolique. ====
Ligne 52 : Ligne 39 :
 
==== Programmation formelle. ====
 
==== Programmation formelle. ====
  
Le logiciel [http://coq.inria.fr/ Coq] qui fournit un langage formel pour rédiger des définitions mathématiques, des algorithmes et des théorèmes exécutable avec un environnement de développement semi-interactif est utilisé par quelque professeur de mathématiques (pas directement par les élèves) pour formaliser les contenus mathématiques du programme en géométrie. Ce travail est proposé par une [http://www-sop.inria.fr/lemme/Frederique.Guilhot Professeure de Mathématiques] et rendu [http://coq.inria.fr/distrib/current/contribs/HighSchoolGeometry.html disponible] avec le logiciel.
+
Le logiciel [http://coq.inria.fr/ Coq] qui fournit un langage formel pour rédiger des définitions mathématiques, des algorithmes et des théorèmes exécutable avec un environnement de développement semi-interactif est utilisé par des professeurs de mathématiques (pas directement par les élèves) pour formaliser les contenus mathématiques du programme en géométrie. Ce travail est proposé par une [http://www-sop.inria.fr/lemme/Frederique.Guilhot Professeure de Mathématiques] et rendu [http://coq.inria.fr/pylons/contribs/view/HighSchoolGeometry/v8.3 disponible] avec le logiciel.
  
 
==== Autres initiatives ====
 
==== Autres initiatives ====
  
* Voir aussi d'autes [[JavaScool:AutresInitiatives|initiatives (extra-scolaires) de popularisation de l'Informatique]].
+
* Voir aussi d'autres [[JavaScool:AutresInitiatives|initiatives (extra-scolaires) de popularisation de l'Informatique]].
  
* Voir aussi : [http://linuxfr.org/2009/06/26/25652.html A propos des logiciels libres dans les programmes de mathématiques du lycée.]
+
* Voir aussi d'autres  [http://linuxfr.org/2009/06/26/25652.html logiciels libres dans les programmes de mathématiques du lycée.]

Version actuelle datée du 1 septembre 2011 à 21:26


Autres outils pédagogiques pour apprendre l'informatique

Bien entendu, JavaScool n'est pas le seul outil proposé pour les professeur(e)s des lycées au niveau de l'enseignement de l'algorithmique, donc de l'informatique au lycée. Sont exclus ici les produits non libres de droits ou limités à des systèmes propriétaires (par exemple qui ne marchent que sur mac ou windows). Voici quelques autres très beaux exemples que nous vous recommendons tout autant, selon les besoins et les aspirations:

Alice : un langage pour 100 % graphique pour s'initier à la programmation objet.

Outil 100 % graphique : Alice est contruit sur le principe du cliquer, déplacer, déposer, comme présenté ici avec un ouvrage important et libre d'initiation à la programmation objet

LARP: un langage à la fois graphique et de pseudo-code.

Ce Logiciel d'Algorithmes et de Résolution de Problème est un logiciel éducatif d'enseignement de l'algorithmique en programmation structurée en exploitant le pseudo-code et les organigrammes.

Algobox: programmer des algorithmes sans syntaxe.

A l’aide d'un mini-langage algorithmique en français et d'une interface simple et ergonomique, le logiciel algobox permet de concevoir et de tester facilement les algorithmes que l'on peut rencontrer dans l’enseignement des mathématiques au secondaire.

Execalgo: rédiger un programme avec une syntaxe très simplifiée

Le logiciel execalgo présente côte à côte le texte d'un mini programme rédigé avec une syntaxe très simplifiée utilisant des mots français et le texte résultant de l'exécution de ce mini programme. Cette exécution peut être demandée pas à pas.

Simulation et objets animés.

Découvrir l'ingénerie numérique: MobiNet, est un logiciel et un ensemble de ressources permettant de programmer le comportement d'objets mobiles animés à l'aide d'une interface et d'un langage intuitifs. Totalement interactif, facilitant apprentissage et mise au point des mobiles, il est conçu pour fonctionner aussi en réseau. C'est un outil idéal pour permettre à un chercheur de venir montrer en lasse quels mécanismes permettent de simuler les phénomènes physiques qui gouvernent les objets que développe les ingénieurs. Un moyen de faire des maquettes numériques des ces objets avant de construire les objets réels.

Calcul numérique.

Si Scilab est un logiciel de calcul scientifique qui peut aussi bien être utilisé comme une super calculatrice graphique ou comme un outil complet pour résoudre des problèmes mathématiques, avec sa version `` Scilab pour les lycéen(ne)s´´ une ressource libre et gratuite est offerte à la fois au professeur pour illustrer son cours et à l'élève en travaux dirigés comme en travail personnel, un grand nombre de contenus étant proposés sur le site. Par exemple, en lycée technique, il est utilisé pour la simulation et optimisation d'un pont en fil de fer et en nylon, (simulation de calculs mécaniques, logiciels numériques intégrés, ..) avec RdmSchool.

Programmation graphique.

Le logiciel Scratch est une alternative qui permet de programmer à-la LOGO et dont plusieurs exercices liés au programme de seconde sont proposés ici. La programmation se fait en assemblant graphiquement des blocs de commandes, dont les primitives permettent de créer des histoires, des jeux et des animations qui sont ensuite publiés sur le Web.

Calcul symbolique.

Le logiciel Giac/Xcas est un couteau suisse pour les mathématiques en lycée qui permet de faire du calcul formel (c'est à dire avec des symboles, et on pas simplement des nombres), des représentations graphiques dans le plan ou l'espace, de la géométrie dynamique (dans le plan ou dans l'espace), du tableur, des statistiques et de la programmation. Très utilisé, il est donc accompagné d'un grand nombre d'activités pédagogiques prêtes à être utilisées.

Programmation formelle.

Le logiciel Coq qui fournit un langage formel pour rédiger des définitions mathématiques, des algorithmes et des théorèmes exécutable avec un environnement de développement semi-interactif est utilisé par des professeurs de mathématiques (pas directement par les élèves) pour formaliser les contenus mathématiques du programme en géométrie. Ce travail est proposé par une Professeure de Mathématiques et rendu disponible avec le logiciel.

Autres initiatives