TD7 ,exo5
6 views
Skip to first unread message
amina mamat
May 20, 2012, 2:06:21 PM5/20/12
to compilation-lic...@googlegroups.com
Bonsoir ,j'ai pas comprit très bien la dernier exo, évaluation de petit pas de séquence :pour quoi on fait (M,c1;(c2;k))?????????????
Merci d'avance
Yann Régis-Gianas
May 20, 2012, 2:14:11 PM5/20/12
to compilation-lic...@googlegroups.com
2012/5/20 amina mamat <amina.m...@gmail.com>:
de la continuation pour la faire plus tard, après avoir fait c1 sur
laquelle on se focalise.
C'est plus clair?
> Bonsoir ,j'ai pas comprit très bien la dernier exo, évaluation de petit pas
> de séquence :pour quoi on fait (M,c1;(c2;k))?????????????
La continuation représente la suite du calcul : on pousse c2 au sommet
> de séquence :pour quoi on fait (M,c1;(c2;k))?????????????
de la continuation pour la faire plus tard, après avoir fait c1 sur
laquelle on se focalise.
C'est plus clair?
Elie AH
May 20, 2012, 2:18:49 PM5/20/12
to compilation-lic...@googlegroups.com
Si tu remplaces (c2;k) par k'
Est ce que cela permet de résoudre le problème?
On a dit en cours qu'on met les parenthèses juste pour délimiter la séquence.
Une fois que la commande c1 termine, il faut appliquer l'axiome sur le suite.
Elias A.H
Est ce que cela permet de résoudre le problème?
On a dit en cours qu'on met les parenthèses juste pour délimiter la séquence.
Une fois que la commande c1 termine, il faut appliquer l'axiome sur le suite.
Elias A.H
Elie AH
May 20, 2012, 2:20:14 PM5/20/12
to compilation-lic...@googlegroups.com
Je pense que c'est juste la parenthèse qui gêne "un peu" dans cette règle.
Elias A.H
Elias A.H
amina mamat
May 20, 2012, 3:06:43 PM5/20/12
to compilation-lic...@googlegroups.com
En fin j'ai comprit
Merci
Reply all
Reply to author
Forward
0 new messages