NOUS AVONS LU
sur le Net
 

Interstices d'octobre 2009

Enseigner et apprendre les sciences informatiques à l'école
Roberto Di Cosmo.
Aborder les sciences informatiques sans avoir recours à un ordinateur ? Découvrez comment à travers les activités proposées par Computer Science Unplugged.
http://interstices.info/ informatique-ecole

La vérité et la machine
Benjamin Werner.
Peut-on être sûr de la vérité d'une preuve ? Cette preuve de la preuve, comment l'obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
http://interstices.info/verite-machine

Gossple, un outil de recherche personnalisé
Anne-Marie Kermarrec et Joanna Jongwane.
Créer un moteur de recherche adapté aux besoins de chaque internaute, tel est le projet de la chercheuse Anne-Marie Kermarrec et de son équipe.
http://interstices.info/gossple

Odile Macchi, au bonheur des maths
Isabelle Bellin.
Odile Macchi est une mathématicienne renommée en traitement du signal qui a su s'imposer dans un monde masculin et animer cette communauté avec efficacité. Une matheuse heureuse.
http://interstices.info/odile-macchi

___________________
Association EPI
Novembre 2009