En bref
Publicités
Interstices
Découvrir la recherche en informatique
La fin des Dames anglaises ?
Publié le mardi 27 octobre 2009 à 11:00 sur Interstices
Depuis le 29 avril 2007, c’est chose faite : de nombreuses innovations et une opiniâtreté exceptionnelle sont venues à bout de Checkers, le jeu de Dames anglaises.
0 commentaire | 
2 votes | 
Lire l'article
Le crible d'Ératosthène
Publié le vendredi 23 octobre 2009 à 17:00 sur Interstices
Comment calculer le plus rapidement possible tous les nombres premiers jusqu’à un milliard ?rn
0 commentaire | 3 votes | Lire l'article
Le crible d’Ératosthène
Publié le vendredi 23 octobre 2009 à 17:00 sur Interstices
Comment calculer le plus rapidement possible tous les nombres premiers jusqu’à un milliard ?
0 commentaire | 0 vote | Lire l'article
Enseigner et apprendre les sciences informatiques à l'école
Publié le vendredi 9 octobre 2009 à 11:00 sur Interstices
Aborder les sciences informatiques sans avoir recours à un ordinateur ? Découvrez comment à travers les activités proposées par Computer Science Unplugged, désormais disponible en français.rn
0 commentaire | 4 votes | Lire l'article
Enseigner et apprendre les sciences informatiques à l’école
Publié le vendredi 9 octobre 2009 à 11:00 sur Interstices
Aborder les sciences informatiques sans avoir recours à un ordinateur ? Découvrez comment à travers les activités proposées par Computer Science Unplugged.
0 commentaire | 0 vote | Lire l'article
La vérité et la machine
Publié le mercredi 30 septembre 2009 à 17:30 sur Interstices
Peut-on être sûr de la vérité d'une preuve ? Cette preuve de la preuve, comment l'obtenir en pratique ? Longtemps réservée aux informaticiens et aux logiciens, la vérification formelle de démonstration est utilisée par une fraction grandissante de la communauté mathématique.
0 commentaire | 6 votes | Lire l'article
(160 news)