Le module Z3 de Python : logique, contraintes et résolution de problèmes
Le solveur Z3, développé par Microsoft Research, constitue l’un des outils de référence pour la satisfiabilité modulo théories (SMT).
Étiquette Étiquette Python
Cette étiquette regroupe des articles consacrés à Python : scripts, automatisation, programmation, génération d’exercices, traitement de données, développement web et projets pédagogiques liés aux mathématiques, aux jeux et à l’informatique.
ODS9 en fichier texte : Script Python mis à jour
Cet article fait suite à mes précédents billets concernant l’extraction d’un lexique conforme à l’ODS7 et à l’ODS8. Comme l’Officiel du Scrabble® évolue, il est temps de mettre à jour le script Python pour prendre en compte l’ODS9. Pour rappel,…
Pourquoi 567 est-il un nombre particulier ?
UN NOMBRE ET SON CARRÉ Le nombre 567 possède une propriété assez particulière. En effet, pour l’écrire en compagnie de son carré 321 489, il est nécessaire d’utiliser tous les chiffres de 1 à 9 ; et chacun d’eux, une…
Programme de mathématiques du cycle 4 : nouveaux textes, changements et regard d’un vieil enseignant
Le Bulletin officiel n°10 du 5 mars 2026 publie le nouveau programme de mathématiques du cycle 4 pour les classes de 5e, 4e et 3e. Que contient réellement ce texte ? Quelles évolutions introduit-il par rapport aux programmes précédents ? Voici une lecture synthétique des nouveaux textes, suivie du regard d’un enseignant après plus de trente années passées au collège.
« Du jeu “saute-mouton” à l’algorithmique moderne »
Publié en 1980 dans Jeux & Stratégie, le jeu « saute-mouton » illustre déjà une pensée algorithmique étonnamment moderne.
Des Mathématiques combinatoires avec Python et itertools.combinations
En Mathématiques, “choisir” sans tenir compte de l’ordre, c’est la combinaison. En Python, c’est exactement ce que fait itertools.combinations : il énumère toutes les sélections possibles de taille k parmi une liste, sans doublon, et sans permutation inutile. Résultat :…
Le point sur la notation ensembliste
En mathématiques, décrire un ensemble consiste à indiquer quels objets en font partie. Il existe plusieurs manières d’écrire un ensemble, chacune ayant ses avantages. Voici un tour d’horizon des notations les plus utilisées, du collège au lycée. 1. La notation…
Probabilité et arithmétique. Ce jeu est-il équitable ?
J’ai proposé à mes élèves de troisième, dans le devoir 12 de cette année scolaire (2024-2025) l’exercice suivant : Exercice 2 (L’ utilisation d’un tableur est recommandée) On donne le jeu suivant :« Chacun des deux joueurs tire au hasard…
Nouvelle page du site2wouf.fr : Les 12 ampoules
Article en référence à : Arithmétique à l’école et au lycée : Focus sur les Multiples et les Diviseurs L’arithmétique constitue un volet essentiel de l’enseignement mathématique, tant à l’école primaire qu’au lycée. Ainsi, comprendre les multiples et les…
Pseudo.py un petit utilitaire pour créer des pseudos
La problématique était la suivante : L’équipe pédagogiques du collège dans lequel j’exerce désirait, dans le cadre de la semaine des Mathématiques, créer une activité en ligne à destination de toutes les classes de sixième. Or chaque élève joue pour…