Actualite
  Toutes les gazettes . 2014, 05 Mai . Bonne feuille

C’est peut-être pas très logique, mais il n’y a pas qu’une seule logique !

ALTUne petite histoire pas très sérieuse de deux très sérieuses logiques permet à Guillaume Cano, jeune docteur en science informatique, de nous faire comprendre comment l’informatique permet de construire des preuves mathématiques et de synthétiser des programmes certifiés.

Be Sociable, Share!
Dernière modification : juin 2016. Ce contenu est obsolète.
Be Sociable, Share!
show post QRcode

Vous pourriez aussi être intéressé-e-s par :
…/…