Bibliothèque

Démontrer par l'absurde

Une technique de démonstration incontournable

• mathématiques
• logique

Le pain au levain facile

Ingrédients : eau du robinet, farine quelconque, sel, patience, et c'est tout.

• cuisine
• pain
• levain

Que se passe-t-il lorsqu’on fait du pain ?

Un petit tour à l'intérieur du processus de panification, et de ses petits secrets

• cuisine
• pain

Finances & Maths : le crédit immobilier

• mathématiques
• économie
• finance

L'énergie et la pollution en France

Production, consommation, effet.

• energie

La biologie au quotidien

• biologie

Reconnaissance de notes de musique

Un peu d'analyse de signal

• musique
• ondes
• traitement du signal

La notation scientifique des nombres

L'essentiel pour les physiciens et ingénieurs en herbe

• mathématiques
• physique

Le raisonnement par récurrence

Une méthode de démonstration mathématique redoutablement efficace

• récurrence

Introduction à l'arithmétique flottante

Comprendre et limiter les erreurs inhérentes au calcul numérique

• mathématiques
• calcul numérique

Coefficient de partage

• loi d'action de masse
• équation à deux inconnues

De la logique aux processeurs

Ou « comment passe-t-on des maths à un ordinateur ? »

• mathématiques
• logique

Écrire des programmes prouvés corrects avec Coq

Garantir mathématiquement le respect d'une spécification

• programmation
• coq
• méthodes formelles

Construire des portes logiques avec des dominos

Comprendre la datation au carbone 14

• physique
• physique nucléaire
• radioactivité

Un peu de science insolite avec les prix Ig Nobel 2020

Quand la recherche fait d'abord rire, puis réfléchir.

• ig nobel

S'habiller dans le bon ordre grâce aux mathématiques

Relations d'ordre, graphes et tris topologiques

• mathématiques
• algorithmique

Un zeste de mathématiques assistées par ordinateur

Quand la machine vient en support du mathématicien

• mathématiques
• coq
• méthodes formelles

On a retrouvé π au beau milieu du hasard !

Ou comment calculer π en lançant plein de dés

• mathématiques

Quelle est la probabilité de couper sur la fève ?

Probabilité et galette des rois

• probabilités
• mathématiques
• cuisine

La science insolite avec les Ig Nobel 2019

Pour les découvertes qui font d'abord rire, puis réfléchir

• ig nobel

Ma balance me ment ?

Les erreurs de mesures dans les objets du quotidien

Pourquoi la moutarde nous monte-t-elle au nez ?

Physiologie humaine et chimie de la moutarde

• chimie
• cuisine

Le kilogramme nouveau est arrivé !

Même valeur, nouvelle définition.

• physique
• métrologie