Bonjour, Comme je l'avais dit à Pierre et à Damiano, je ne serai pas là car je vais rester avec ma fille pour l'éclipse, et comme je dois venir pour travailler (sans être trop interrompus) l'après-midi, je ne peux pas l'ammener au labo. Par contre, pour l'exo 1 du TD1, comme je l'avais dit à Pierre et Damiano, il faut que vous commenciez par avoir la preuve papier (ou dans la tête) très clairement. C'est comme lorsque vous écrivez un programme, si vous avez l'algo c'est mieux ;-) Pour faire la preuve il faut commencer par eliminer A\/~A avec A=rac(2)^rac(2) est rationnel. Ensuite, suivant que vous êtes dans le cas gauche ou droit, vous donnez les valeurs adéquates à x et y. a+, /MM. On Thu, 19 Mar 2015, Damiano Mazza wrote:
Bonjour,
Juste un petit mail pour faire un peu de clarté concernant le planning de demain :
- 10h : on se voit tous en B107 pour une micro-séance de TP Coq (correction de l'exo 1 de Micaela) ; - 10h30 (ou quelques minutes avant) : on observe l'éclipse ; - 11h (ou quelques minutes après) : on se retrouve tous de nouveau en B107 pour le séminaire de Charles Grellois.
Amicalement,
Damiano
PS : je ne pourrai pas assister au séminaire, Domenico s'occupera de l'organisation.
_______________________________________________ Gdtlogprog mailing list Gdtlogprog@lipn.univ-paris13.fr https://www-lipn.univ-paris13.fr/mailman/listinfo/gdtlogprog
---------------------------------------- Micaela.Mayero@lipn.univ-paris13.fr http://www-lipn.univ-paris13.fr/~mayero/