Discussion:InitRech 2015/2016, sujet 16 : Différence entre versions
De Wiki d'activités IMA
(Page créée avec « Anglais compréhensible. Quelques coquilles (voir correction). ») |
|||
| Ligne 1 : | Ligne 1 : | ||
| − | Anglais compréhensible. Quelques coquilles (voir correction). | + | Anglais compréhensible. Quelques coquilles (voir correction, plus d'une dizaine). |
| + | |||
| + | Quelques erreurs de compréhension : | ||
| + | * un programme ne peut pas toujours être transformé en un SARE ; | ||
| + | * fait une équivalence entre un SARE a un ordonnancement et il n'y à pas de boucle dans l'arbre de dépendance des instances de variables ; | ||
| + | * pour le coeur de l'article finit par paraphraser l'article ; | ||
| + | |||
| + | Des recherches annexes pour comprendre l'article (machine de Turing, algèbre de Herbrand). | ||
| + | Dans le seconde partie, l'élève met le doigt sur la faiblesse principale de l'algorithme (calcul de fermetures transitives). | ||
| + | |||
| + | Les applications sont assez mal exposées. On y trouve cependant une utilisation pour contrôle de code d'utilisateurs débutants. Plus quelques points évoqués dans l'article. | ||
| + | |||
| + | Travail correct pas plus. | ||
Version actuelle datée du 21 juin 2016 à 20:40
Anglais compréhensible. Quelques coquilles (voir correction, plus d'une dizaine).
Quelques erreurs de compréhension :
- un programme ne peut pas toujours être transformé en un SARE ;
- fait une équivalence entre un SARE a un ordonnancement et il n'y à pas de boucle dans l'arbre de dépendance des instances de variables ;
- pour le coeur de l'article finit par paraphraser l'article ;
Des recherches annexes pour comprendre l'article (machine de Turing, algèbre de Herbrand). Dans le seconde partie, l'élève met le doigt sur la faiblesse principale de l'algorithme (calcul de fermetures transitives).
Les applications sont assez mal exposées. On y trouve cependant une utilisation pour contrôle de code d'utilisateurs débutants. Plus quelques points évoqués dans l'article.
Travail correct pas plus.
