•   Bienvenue
  •   De la recherche
  •   Découvrir
  •   Approfondir
  •   Itinéraires
  •   C'était hier
  •   Débattre
  •   Ludique
  •   Lire et voir
 
)i( Mot-clé
 

)i( Preuve

  • Algorithme
  • Apprentissage
  • Art
  • Automobile
  • Biodiversité
  • Calcul
  • Cerveau
  • Cryptographie
  • Environnement
  • Finance
  • Géométrie
  • Histoire
  • Image
  • Information
  • Intelligence
  • Internet
  • Jeu
  • Langage
  • Mobilité
  • Mouvement
  • Multimédia
  • Musique
  • Preuve
  • Prévision
  • Programme
  • Réseau
  • Robot
  • Santé
  • Sécurité
  • Simulation
  • Technologie
  • Turing
  • Utilisateur
  • Virtuel
  • Vivant
  • Web
 
  • 1
  • 2
  • 5 par page ▼
    • 5 par page
    • 10 par page
    • Tout en une page
De la recherche  

À propos des compilateurs  

Sandrine Blazy   Joanna Jongwane  -  29/03/2012

Peu connue des non-informaticiens, la compilation est pourtant un des fondements de la programmation. Sandrine Blazy nous présente le rôle des compilateurs dans cet épisode du podcast audio.

 
Découvrir  

L'ordinateur au cœur de la découverte mathématique

Hadrien Mélot   Christophe Troestler  -  25/11/2011

L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.

 
Approfondir  

Du rêve à la réalité des preuves

Jean-Paul Delahaye  -  08/06/2012

Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.

 
De la recherche  

Comment faire confiance à un compilateur ?

Xavier Leroy  -  21/05/2010

Ces travaux sur le compilateur formellement vérifié CompCert ont reçu le prix La Recherche 2011 en Sciences de l'information.

 
Lire et voir  

Informatique et mathématiques

-  24/09/2012

Entre les mathématiques et l'informatique, des liens de filiation, des interactions, des frontières pas toujours faciles à tracer... dont ces quelques références vous donneront une idée.

 
  • 1
  • 2
  • 5 par page ▼
    • 5 par page
    • 10 par page
    • Tout en une page
 
 
 
 
  • fr Français
  •  
eNq1V1Fz2jAMft+vyOWdGDIGZRfa21i7cddeGYXb3jiTKGBm4lR2KOzXzwnQhh4ZbYjfkkjRJ8mSPtm7Wi+5tQKUTERdu+HUbQsiXwQsmnXt8eimdmFfXVofvAVd0bzeJ6c+cV3b8jmVsmunYmcKNJLO77vbb6AtANr6R8sT0wX46kAxUYw7P6ic39E4U7K8lWCBtQQ1F0HXjhO1/Wx5UqF25ZLJAUWq5YD6nwGKFQsg8MhOfKAbUi7hQOSR1PwbgXoiUrBWA6rmBnF8te5RBTOBDORx++VD6Ec3qKO4D0Pmw3HjCpPSvicS8Fb4lBfYDrGs5SmVMEZ+3OxcqfgzIUwfD0qlI5MOi0JBzgqDRrOqg9D5vzZQMXRB10N47BdU4xct7qm1qtVrjY/tRqvjtl3Xbbll4RAeHwBXHLJOOI5JAiZjTjfOQsblszVIppz5VOnJYrDhdq7uYqq+KfwEESK1a+rNcQBdu5NWs3PRKZ+tXwL/yJj6YDBXsUBFC7pwGU6arYtOq7Tt3Bx/hfAmpihGyGXpVVK0hCLSzYFprlvfeci0bItDNFNzTWzPtnYwLApg3bXrL99PHGam8ZKO7C0D33ufk3lkG/L7q0APSYPnn7x3BC/8pSTP+SAxQrI6g4IHWf3tW8lgoOFToEdqAlKNh/2CGVdpbBowt19Uzftft/Rpcm0x5TyCFAnqqVZoueIaG+YADSZM0+jJCquARf+KqGAZ27Jr+TyNd1uScbr5P3NmtNNut8tiPO1ps6C4Js0zbgz5Xd7s3eRwyTA7GU+vf2lLntEYPxPAzZaBC9aloFvFxqQ5XDxJM82dZmeE+t7L9ZkUHATh6WVpMhdLyFMnWVDOhCTD+/tR5eRptAzHzxdAs5PTGFVuJcdtfr8endE0qa99vRIVVMIbjzm3GHok3Vb1wz+gA6PR