Preuve

Facile

Idée reçue : Si un problème est NP-complet, alors ce n’est pas la peine de s’y attaquer

Pourquoi une affirmation aussi catégorique est-elle en partie fausse ? Revenir sur la définition des problèmes P, NP et des problèmes NP-complets aide à le comprendre.

→ Lire l'article

Publié le 09/12/2009

Par Jean-Paul Delahaye

Tags Preuve

Facile

Les leçons d’un algorithme délinquant

Pour le sens commun, la machine ne se trompe jamais. Si par malheur un utilisateur pointilleux découvre une erreur dans son calcul sur ordinateur, qui doit-il alors accuser ? Lui, ou la machine ?

→ Lire l'article

Publié le 20/02/2004

Par Jean-Michel Muller

Tags Calcul Preuve Sécurité

Facile

Quand les écrans deviennent bleus

Peu connus, les logiciels d'infrastructure sont pourtant les piliers de tout système informatique. Gilles Muller nous en parle dans cet épisode du podcast audio.

→ Lire l'article
Facile

À propos des compilateurs

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.

→ Lire l'article
Avancé

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

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

→ Lire l'article

Publié le 25/11/2011

Par Hadrien Mélot, Christophe Troestler

Tags Preuve

Facile

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

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.

→ Lire l'article

Publié le 08/06/2012

Par Jean-Paul Delahaye

Tags Preuve

Intermédiaire

Comment faire confiance à un compilateur ?

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

→ Lire l'article

Publié le 21/05/2010

Par Xavier Leroy

Tags Algorithme Langage Preuve

Facile

Informatique et mathématiques

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.

→ Lire l'article

Publié le 24/09/2012

Tags Calcul Preuve

Intermédiaire

La vérité et la machine

Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.

→ Lire l'article

Publié le 30/09/2009

Par Benjamin Werner

Tags Preuve Sécurité

À estimer

Preuves formelles, preuves calculatoires

Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.

→ Lire l'article

Publié le 19/03/2007

Par Benjamin Werner

Tags Preuve Programme Sécurité