-->

Actualité Sciences BETA

L'actualité scientifique en temps réel

Langue :

Accueil > Actualités > Interstices

Partenaires

Publicités

Interstices

Découvrir la recherche en informatique

2 vote(s) :

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.


3 vote(s) :

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 vote(s) :

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 ?


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


Aborder les sciences informatiques sans avoir recours à un ordinateur ? Découvrez comment à travers les activités proposées par Computer Science Unplugged.


6 vote(s) :

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.


1 2 3 4 5 6 7 ... 27 Suiv >

(160 news)