Le RER francilien - La ligne D

Apprenons-en plus sur le gigantesque axe Nord - Sud de la SNCF.

• géographie
• transport
• rer

C'est toute une histoire : le système électoral

Il nous faut un système électoral juste !

• vote
• c'est toute une histoire
• élection

Récap' communautaire #21 — Novembre 2019

• zds
• récap

Récap' communautaire #22 — Décembre 2019

• zds
• récap

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

Relations d'ordre, graphes et tris topologiques

• mathématiques
• algorithmique

É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