Bonjour,
la version finale du projet est sur ma page :
http://www-lipn.univ-paris13.fr/~moyen/
j'ai simplifié un peu la signature ENV_FULL, ce qui peut vous permettre de
répercuter cette simplification sur le code que vous avez écrit hier.
Luca Saiu vous distribuera la version imprimée de l'énoncé mardi prochain.
--
Cordialement,
Jean-Yves Moyen.
http://www-lipn.univ-paris13.fr/~moyen/
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Je réponds publiquement.
[à propos de la question «bonus»]
On 11/17/2011 06:43 PM, moumni ferid wrote:
> bonsoir ,
>
> je vous remercie, Monsieur, de m'avoir informé..
Oui, vous avez raison.
Je n'avais pas prévu une réponse si rapide, et peut-être l'idée d'un
bonus «au plus rapide» ne convient pas à nos groupe, dans lequel les
étudiants ne sont pas toujours libres au même temps.
Je m'excuse. Cette idée n'a pas marché et elle ne peut pas être
implémentée de façon égalitaire, donc je ne vais plus l'utiliser à l'avenir.
- --
Luca Saiu
http://www-lipn.univ-paris13.fr/~saiu
GNU epsilon: http://www.gnu.org/software/epsilon
Marionnet: http://www.marionnet.org
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAk7GCYgACgkQvzOavibF0obnnwCfX926WoFBfLyyzhR1HPc9Pc/n
qV0An1lHYFVySQ+w2+DvhAcOP0x6qEkG
=Poe3
-----END PGP SIGNATURE-----
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 11/17/2011 03:31 PM, Joan LLodrà Riera wrote:
> Bonjour l'erreur est dans le conditional:
>
> je pens que vous devez mettre if c1 = B(vrai) then E(e2) else E(e3)
Bien sûr. Je voulais donner l'opportunité de bien lire la définition,
mais vous avez été très rapide.
J'ai juste publié une nouvelle version 2.3 corrigée.
- --
Luca Saiu
http://www-lipn.univ-paris13.fr/~saiu
GNU epsilon: http://www.gnu.org/software/epsilon
Marionnet: http://www.marionnet.org
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAk7FMgYACgkQvzOavibF0oYUKACeLt5NU68UD+xnF5OsIkwbhkOJ
JLUAn2lCSOXmcaAVwUyNrwTupWl67RVu
=nN1h
-----END PGP SIGNATURE-----
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 11/02/2011 09:50 AM, Jocelyne MACCAGNAN wrote:
> Déplacement du cours de PFA du mardi 29/11 au lundi 05/12 de 13h45 à
> 17h00 en salle C 307.
Merci Jocelyne, et bonjour à tout le monde.
Donc le cours du mardi 29 novembre est déplacé au lundi 5 décembre, en
C307. J'ai déjà mis à jour la page web :
http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2011/
Cordialement,
- --
Luca Saiu
http://www-lipn.univ-paris13.fr/~saiu
GNU epsilon: http://www.gnu.org/software/epsilon
Marionnet: http://www.marionnet.org
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAk6xGVIACgkQvzOavibF0obcugCfVida6pM1y5pjlZ3QqGUP7NZZ
vHMAoKYiF+3u3lJYsDk9fLOLz+WWSrC7
=CLvU
-----END PGP SIGNATURE-----
