Séminaire
Vendredi 10 octobre 1997 - 14h00
Salle de conférences Michel Métivier
Laurent TRILLING
(ENSIMAG)
Programmation géométrique : impérative et logique
Le terme « géométrie dynamique » (Dynamic Geometry) est un néologisme
récent introduit pour caractériser les activités engendrées par
l'utilisation de logiciels tels que Cabri-géomètre ou
Geometer-Sketchpad. On sait que ces sytèmes, très répandus, furent
conçus pour l'enseignement de la géométrie. On peut considérer qu'ils
fournissent le moyen de construire des « programmes géométriques » dont
l'exécution produit une « figure dynamique ». Une telle figure peut être
caractérisée comme une figure géométrique, au sens mathématique du
terme, dotée de capacités d'animation conservant ses propriétés
logiques. Dans cette perspective, Cabri-géomètre ou Geometer-Sketchpad
supportent des langages géométriques « impératifs » en ce sens que la
figure dynamique construite est le résultat d'une construction
géométrique et que les animations possibles sont celles obtenues en
modifiant les éléments de base de cette construction. On peut
naturellement songer à une approche « logique » où la figure dynamique
produite est le résultat de l'évaluation d'une spécification :
idéalement, toutes les animations devraient être possibles.
L'exposé sera consacré à la présentation de ces approches. Il mettra
l'accent sur les problèmes posés par la résolution de contraintes
géométriques et sur le champ d'application de la programmation
géométrique, en particulier dans l'enseignement. Il sera accompagné de
démonstrations utilisant Cabri-géomètre et des systèmes réalisés en
programmation logique avec contraintes.
| Page d'accueil Irisa | Séminaires
Irisa 1997 | Manifestations
scientifiques | Comment se rendre
à l'Irisa ? |
webmaster@irisa.fr, oct. 1997