Sites Inria

Il y a 2 Résultats avec le mot clé : "Christine Paulin-Mohring"

Christine Paulin-Mohring, professeur, équipe Proval - © Inria / Photo J. Wallace

Unithé ou café

Maths et info font leurs preuves

Laure Guion - 10/02/2012

« Maman, je veux des bonbons ! – Moi aussi ! – Moi aussi ! ». Le calme de votre après-midi dépend d'un partage indéniablement équitable… Sachez qu’en cas de contestation, il est possible de prouver cette répartition mathématiquement, c’est-à-dire montrer de façon indiscutable que le but recherché est atteint. Cette preuve peut être automatiquement traduite en un programme toujours juste! Mais quelles différences y a-t-il entre une preuve mathématique et un programme informatique ? Une preuve pourrait-elle valoir un programme à chaque fois ? Quel programme se cache derrière cette preuve ? Nous verrons qu'une preuve se construit en plusieurs étapes et relève de logiques parfois différentes de l’accoutumée.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Maths et info font leurs preuves

Lire la suite

Labex

Le Labex DigiCosme fait son inauguration

Sylvain Allemand - 20/09/2012

À l'occasion du colloque d'inauguration du Labex DigiCosme les 12 et 13 septembre 2012, retour sur les origines et les ambitions de ce projet avec une interview de Christine Paulin-Mohring, en charge de son pilotage.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Le Labex DigiCosme fait son inauguration

Lire la suite

Haut de page

Suivez Inria