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 pédagogie
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,…
Guide pour progresser aux échecs : Retrouver l’âme du jeu à l’ère numérique
Comment progresser aux échecs à l'ère numérique ? Découvrez un guide complet pour retrouver l'âme des pièces, choisir vos mentors et sortir de la dictature du blitz.
« 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.
Avant Hamilton : L’héritage d’Euler – 1736
Pourquoi un problème de ponts datant de 1736 régit-il encore nos algorithmes modernes ? Découvrez l'héritage d'Euler avant de plonger dans l'enfer des graphes hamiltoniens.
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 :…
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…
ODS8 en fichier texte. Script Python
▶ ARTICLE MIS À JOUR (ODS9) Cet article vient en complément de l’archive Un lexique genre ODS7 en txt… , en effet un utilisateur m’a fait part de sa recherche sur l’ODS 8 et ce « vieux billet » est un peu…
L’expérience est le nom que chacun donne à ses erreurs. Oscar Wilde
L’expérience est le nom que chacun donne à ses erreurs. Oscar Wilde.
Froid… Mais qu’est-ce que cela veut dire ?
Tout est parti d’une bêtise d’enfant entendu à une sortie d’école. Au pôle Nord il fait -800 degrés! Fort de ma présomptueuse culture scientifique j’attendis le repas pour expliquer à ma progéniture que certaines températures n’existent simplement pas. Ainsi ce…