Le Frido 2018 est un livre libre de mathématique destiné à l’agrégation et plus. Il suppose connue la théorie des ensembles, puis fait tout en détail de la constructions des ensembles de nombres jusqu’aux statistiques en passant par les corps, les groupes, l’analyse, les probabilités et un peu de numérique.
Le Frido et Giulietta : la mathématique libre
Le Frido est un livre de mathématique dont le but est d’aller de la théorie des ensembles (non comprise) jusqu’à finir l’agrégation. Giulietta est une extension qui va de l’agrégation jusqu’à tout ce que je sais en mathématique.
- Vous voulez juste le lire ? Téléchargez les versions courantes Le Frido ou Giulietta et profitez. Ces PDF sont régulièrement mis à jour.
- Vous voulez passer l’agreg ? Téléchargez les versions « stables » de cette année, et si vous aimez, achetez, (je ne suis pas certain que vous ayez le droit de venir avec Le Frido imprimé depuis chez vous).
- Vous voulez contribuer ? On en parle plus bas.
Programmer des démonstrations : une modeste invitation aux assistants de preuve
En principe, une démonstration mathématique ne fait que suivre des règles logiques bien définies, et devrait donc pouvoir être encodée informatiquement et vérifiée par un ordinateur. Où en est-on dans la pratique et dans la théorie ? Petit tour au pays des assistants de preuve, des langages de programmation dédiés aux démonstrations, et de leur fondement théorique le plus commun, la théorie des types.
Le Frido, livre collaboratif de mathématique de niveau agrégation et un peu plus
Le Frido 2019, mathématique pour l’agrégation
Le Frido est un livre de mathématique en quatre volumes reprenant à peu près tout de la construction des naturels (non incluse) jusqu’à la fin de l’agrégation, tant en algèbre qu’en analyse.
Journal P != NP : la preuve
En ces temps estivaux, alors que tout le monde est a la plage, la recherche avance ! Vinay Deolalikar, chercheur chez HP, affirme avoir trouvé une preuve (de 100 pages quand même) que P != NP, rien que ca. La preuve s'appuierait sur tout un tas de domaines (statistiques, théorie des graphes, etc.)
Cette annonce, aussi intéressante soit-elle, est a relativiser puisque l'article n'a pas encore été reviewé. Il est d'ailleurs étonnant que l'article ait été proposé par (…)
Lien Obtenir tous les entiers naturels à partir de formules mathématiques avec quatre 2 (une sorte de 42)

Lien introduction à la modélisation mathématique d'un tournoi de football
